Let . The basic Von Mangoldt divisor identity isbecause if , the right-hand side is . In terms of Dirichlet convolution, this says . Since the Möbius function is the convolution inverse of , convolving with gives . Consequently
The Dirichlet hyperbola method counts each factorization once and gives, with ,Using and the harmonic number estimate , where is the Euler--Mascheroni constant, we obtainThus one may take .
For each prime number , the congruence removes exactly one residue class of modulo ; for , it removes none. The dimension-one upper-bound sieve therefore givesSeparating the primes that divide bounds the product byThe ratio form of Mertens theorem says that the first product is . Hence
Articles by others on the same topic
There are currently no matching articles.