>>514
pn/2<log(pn#)は証明しています