An is a bounded sequence which converges to 0.

An>0 for every n.

prove that in this sequence we have a maximal member

??

again its obvious because if a sequence is descending and it converges from a positive number

to 0.

so 0 is the larger lower bound

and our first member must be the larger

how to transform it to math?