>>538
2log(p_n#)<2pn
だから、示せばよい式は[3]になります