Editing Euler's totient function (section)

===Lehmer's conjecture===

{{main article|Lehmer's totient problem}}

If {{mvar|p}} is prime, then {{math|''φ''(''p'') {{=}} ''p'' − 1}}. In 1932 [[D. H. Lehmer]] asked if there are any composite numbers {{mvar|n}} such that {{math|''φ''(''n'') }} divides {{math|''n'' − 1}}. None are known.<ref>Ribenboim, pp. 36–37.</ref>

In 1933 he proved that if any such {{mvar|n}} exists, it must be odd, square-free, and divisible by at least seven primes (i.e. {{math|''ω''(''n'') ≥ 7}}). In 1980 Cohen and Hagis proved that {{math|''n'' > 10<sup>20</sup>}} and that {{math|''ω''(''n'') ≥ 14}}.<ref>{{cite journal | zbl=0436.10002 | last1=Cohen | first1=Graeme L. | last2=Hagis | first2=Peter Jr. | title=On the number of prime factors of {{mvar|n}} if {{math|''φ''(''n'')}} divides {{math|''n'' − 1}} | journal=Nieuw Arch. Wiskd. |series=III Series | volume=28 | pages=177–185 | year=1980 | issn=0028-9825 }}</ref> Further, Hagis showed that if 3 divides {{mvar|n}} then {{math|''n'' > 10<sup>1937042</sup>}} and {{math|''ω''(''n'') ≥ 298848}}.<ref>{{cite journal | zbl=0668.10006 | last=Hagis | first=Peter Jr. | title=On the equation {{math|''M''·φ(''n'') {{=}} ''n'' − 1}} | journal=Nieuw Arch. Wiskd. |series=IV Series | volume=6 | number=3 | pages=255–261 | year=1988 | issn=0028-9825 }}</ref><ref name=Guy142>Guy (2004) p.142</ref>