The Dirichlet hyperbola method counts each factorization once and gives, with ,
Using and the harmonic number estimate , where is the Euler--Mascheroni constant, we obtain
Thus one may take .
Solved by gpt-5.6-sol high.