We learnt the cauchy sequence as:
Let
_{n=1}^\infty \subset X)
where
)
is a metric space. Then
)
is a Cauchy sequence if for every

, there exists an integer N such that
<\varepsilon)
i.e.
 \to 0)
as

The terms of a sequence become very 'close' to each other after a certain N.
'sup' is short for 'supremum' or 'least upper bound'. In a partially ordered set

,
If there is an

such that

and any smaller

would not have this property, then

e.g. In a sequence
_{n =1}^\infty= 1-\frac{1}{n})
, the supremum would be 1.
The 'infinum' or 'greatest lower bound' is the same thing but from the bottom.
'lim inf' is the least of the limits of the subsequences of
_{n \geq 1})
So say you have
_{n=1}^\infty \subset \mathbb{R}^n)
and there is the limit

where
)
. Then the lim inf will be the least such

.
Opposite for lim sup.
Also,
is also from the triangle inequality:

Dunno what's contractive