$a_i\in\{0,1,\cdots,p-1\}$ olmak uzere$$n=a_0+a_1p+a_2p^2+\cdots+a_kp^k$$ olarak yazalim. Bu durumda $$\left\lfloor\frac{n}{p}\right\rfloor=\frac{n-a_0}{p}=a_1+a_2p+\cdots+a_kp^{k-1}$$ olur. Ayni sekilde $2\le i \le k$ icin $$\left\lfloor\frac{n}{p^i}\right\rfloor=\frac{n-(a_0+\cdots+a_{i-1}p^{i-1})}{p^i}=a_i+a_{i+1}p+\cdots+a_kp^{k-i}$$ olur.
Tum bunlari terim terim toplayalim: $$a_k(p^{k-1}+p^{k-2}+\cdots+p+1)$$$$+a_{k-1}(p^{k-2}+\cdots+p+1)$$$$+\cdots$$$$+a_1$$olur. $$1+p+\cdots+p^t=\frac{p^{t+1}-1}{p-1}$$ oldugundan toplamimizi bastan yazarsak toplamin$$a_k\frac{p^k-1}{p-1}+a_{k-1}\frac{p^{k-1}-1}{p-1}+\cdots+a_2\frac{p^2-1}{p-1}+a_1\frac{p-1}{p-1}+a_0\frac{1-1}{p-1}$$ oldugunu elde ederiz. Paydada $p-1$ var ve payi duzenlersek $$(a_kp_k+a_{k-1}p^{k-1}+\cdots+a_0)-(a_k+a_{k-1}+\cdots+a_0)=n-\sigma_p(k)$$oldugunu elde ederiz.
Bu da istedigimiz sonucu verir.