(k + 1)(sqrt(p))^k >= 1 + k(sqrt(p))^(1+k)