[= in the end; $≠$ possibly]
The iterates eventually reach the value 1.
Then we can find some net $(s_k)$ which eventually leaves every compact subset of $G$.
It will eventually appear that the results are much more satisfactory than one might expect.
an eventually increasing sequence
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z