A sequence on is Cauchy or convergent exactly when its real and imaginary parts are, so it suffices to prove the theorem for real sequences.

A Cauchy sequence is bounded. By Bolzano-Weierstrass it has a convergent subsequence with limit . For , choose with for all and with for all . Picking with gives

so .