Solve (1 + k((p)^((k+1)/2)))/p^k < p/(p - 1) for k