n 0 , k {\displaystyle \displaystyle n_{0},k} הם שני קבועים שלמים גדולים ממש מ1. אנא הוכח שמתקיים ∑ i = n 0 n [ i k ] = Θ ( n k + 1 ) {\displaystyle \displaystyle \sum _{i=n_{0}}^{n}[i^{k}]=\Theta (n^{k+1})} .