>>524
それでほとんど終わってる．

第一項の分子が定数であることに注意すると，
十分大きな n に対してある定数 C が存在して，
s(n) > C/n + M となることがわかる．

あとは n を大きく取って s(n) → ∞ の定義を確かめればよい．