Tetapkan \(L=\sup\{x_n\mid n\in\Z^+\}\text{.}\) Untuk \(\epsilon\gt0\text{,}\) bilangan \(L-\epsilon\) bukan batas atas himpunan suku barisan. Setelah menemukan \(x_N\gt L-\epsilon\text{,}\) gunakan sifat tak menurun.