2p^k <= ((p^k + 1)(p^(k+1) - 1))/((p^k)(p - 1)) < 2p^k + 1