b[n]≠0とします
逆に、a[n]/b[n]→1だがa[n]-b[n]→0でない例はありますか？
|a[n]-b[n]|≦|b[n]||a[n]/b[n]-1|だから、b[n]が有界なら成り立ちますが