This is the proof of Serge Lang in Undergraduate Analysis. I can't quite understand what he meant in his proof. I read different sources about the theorem but Lang's proof is quite odd. Any help? BTW. theorem 1.1 just states that Every bounded and monotonic sequence is convergent.