>>155 方針のみ. lim an, lim bn が定義されることを仮定する. (定義されない場合,an = n, bn = -n などで左辺 0, 右辺未定義)
lim an = a, lim bn = b とおき,lim (an+bn) = a+b とアタリをつける. これを示すには,任意のεに対して十分大きな n を取れば |an+bn-a-b| < εとなることを示せばよい. 絶対値をばらして |an+bn-a-b| ≦ |an-a|+|bn-b| とし, lim an = a, lim bn = b を適切に使えば証明が終わる.