Use of Convergent Subsequences in Proof

Theorem:

Let $(X,d)$ be a compact metric space and $T:X\to X$ be a contractive operator. Then T is a strict Picard operator.

Proof:

Let…