Theorem 1.5 (Dirichlet’s divisor problem). For x2,

nxτ(n)=x log x+(2γ1)x+O(x12)

where γ is Euler’s constant.