S. Let Xn E R and suppose that there is an MER such that Ixnl ~ M for n E N.

Prove that Sn = sup{ xn, xn+ 1, ... } defines a real number for each n E N and Sl ~ S2 ~ •.. Prove an analogous result about tn = inf{xn,xn+1""}'