>>727 は当然知ってるわけだが、問題は

lim[n→∞]｛（n+1)^m+(n+2)^m+…+（n+n)^m} / (1^m+2^m+…n^m)} を求めよ
準1だったら4乗か5乗くらいで押さえてくれよ…>協会

Σ[k=1,m] k^m = k^(m+1)/(m+1) + O(n^m) であるという補題を別に証明する形で
解いて、2^(m+1)-1だと思うが…（Oってこの使い方で良いっけ。一応
「ｎのm次以下の多項式」と”定義して”使ったんだが）。

答えが違えば爆沈。答えが合ってても、補題部分の証明に難ありとみなされると
厳しいなぁ。時間の半分以上をこの問題に使ったような。