そこまで書かなくても　

(logp_n)^2<<2m+1(for large m)

は自明ですよ