For , this explicit lower bound on the Euler totient function implies as . Here is the Euler--Mascheroni constant. The prime-product formula also gives whenever , making the bound useful for certified quantum period finding. The relevant statement is a lower bound: the claimed universal upper estimate would fail at primes. Equations (3.41)–(3.42) of Theorem 15 provide the primary bound: denisevellachemla.eu/Rosser-Schoenfeld-1962.pdf .
List the distinct prime divisors of in increasing order. The th is at least , and . The Euler totient function product formula gives . This elementary bound is sufficient to show inverse-polynomial success probability for coprime phase labels in quantum order finding.
Multiplication by a unit permutes the reduced residue classes modulo . Multiplying all classes before and after this permutation and cancelling their unit product proves .
For each positive integer , only finitely many satisfy . Indeed, every prime has , and the exponent of in is bounded because .
Articles by others on the same topic
There are currently no matching articles.