$k\in\mathbb{N},n\geq1$ olmak üzere $P_k(n)=\sum\limits_{i=1}^ni^k$ nın, başkatsayısı $\frac1{k+1}$ olan $k+1$ inci derece bir polinom olduğunu , Tümevarım İlkesi ile, göstereceğiz, Daha sonra, bu sorunun cevabı kolayca bulunacaktır.
(Bu ispatın, Ali Nesin in videolarında olduğunu sanıyorum ama şu anda bulamadım)
Binom formülünden, $(i+1)^{k+1}-i^{k+1}=\sum\limits_{j=0}^k\binom{k+1}{j}i^j=(k+1)i^k+\sum\limits_{j=0}^{k-1}\binom{k+1}{j}i^j$ olur.
Her iki taraf da $i=0,1,\dots,n$ için toplanırsa, $c_j=\binom{k+1}{j}\in\mathbb{N}^+$ olmak üzere:
$(n+1)^{k+1}=\sum\limits_{i=0}^n\left((i+1)^{k+1}-i^{k+1}\right)=(k+1)P_k(n)+\sum\limits_{j=0}^{k-1}c_jP_j(n)$ olur.
$k=0$ için $P_0(n)=n$ olduğu aşikardır ve iddiamız doğrudur .
Bir $k\in\mathbb{N}^+$ için $\forall j<k$ için iddiamızın doğru olduğunu varsayalım.
$(n+1)^{k+1}=(k+1)P_k(n)+\sum\limits_{j=0}^{k-1}c_jP_j(n)$ eşitliğinden:
$(k+1)P_k(n)=(n+1)^{k+1}-\sum\limits_{j=0}^{k-1}c_jP_j(n)$ olur.
Tümevarım hipotezinden, $\sum\limits_{j=0}^{k-1}c_jP_j(n)$, $k$ inci derece bir polinom olur.
Yukarıdaki eşitlikten, $P_k(n)$, başkatsayısı $\frac1{k+1}$ olan, $k+1$ nci derece bir polinomdur
Tümevarım İlkesinden, iddiamız ispatlanmıştır.
Şimdi sorunun daha genel şeklini çözelim:
$k\in\mathbb{N}$ olmak üzere:
$\lim\limits_{n\to\infty}\dfrac{1^k+2^k+\cdots+n^k}{n^{k+1}}=\lim\limits_{n\to\infty}\dfrac{P_k(n)}{n^{k+1}}=\lim\limits_{n\to\infty}\dfrac{\frac1{k+1}n^{k+1}+\text{küçük dereceli terimler}}{n^{k+1}}=\frac1{k+1}$
Edit: Bir kaç yerde yazımı düzenledim ve $(k+1)P_k(n)$ in tamsayı katsayılı olduğunu iddiasını sildim.