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?