>>57
これは正しいですね。r≦p^(r-1)が解答の核となっている不等式。