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
so 0 is the larger lower bound
and our first member must be the larger
how to transform it to math?