Summation from k=n to k=m 2^k > (m-n)^2