P
Initializing...
Under Lindelöf: $N(T)=\frac{T}{2\pi}\log\frac{T}{2\pi}-\frac{T}{2\pi}+o(\log T)$ · Prove2Me