n∈N、r∈R、r≧1 に対して、
{(n+1)^(r+1)*n^r}/{(n+1)^(r+1) - n^(r+1)} ≧ Σ[k=1 to n] k^r ≧{(n+1)^r*n^(r+1)}/{(n+1)^(r+1) - n^(r+1)}

油断、怠慢、即ち怠惰!