ε=3として、それに対してNが決まって
N<mなmを一つ固定。
Cauchy列の性質から任意のn>Nに関しては
3>|An-Am|>= |An|-|Am|
→
|An|<|Am|+3

N>=j なる|Aj|に対しては
|An|<|Am|+3かわからないので

|Am|の代わりに M = max{i=1,2,・・・N,m}|Ai| とすれば

M>=|Am|だしAjに対しても M>=|Aj| だから

任意のnに対して |An|<M+3
で{An}は有界

ではダメでしょうか?