pxph(modk)logpp=1ϕ(k)logx+O(1),