Question

Let x_n is in R and suppose that there is an M in R such that | x_n | less than or equal to M for n in N. Prove that s_n=sup{x_n, x_(n+1), ...} defines a real number for each n in N and that s_1>s_2>....