>>94
君のやり方でいくならば、

(a_n) が有界ではない⇒(a_n) はコーシー列ではない

を示す方が簡単だ。

君とほぼ同様の論法で、任意のNに対して、|a_m-a_N|>1となるm>Nが存在することが言えるから。