Here's an approach you could try. Let a_n be a bounded increasing sequence, which means that the sequence has an upper bound b. Then ([a_n,b]) is a nested sequence of ntervals. Can you take it from here, using properties 1 and 2 to prove 3? And then you can do the analogous thing for bounded decreasing sequences.