Polya Conjecture

Define a number as of odd kind if the number of its prime factors is odd (taking multiplicity into account), and to be of even kind if the number of prime factors is even. Let and be the sum of the numbers of integers less than or equal to of the even and odd kinds.
Polya conjectured in 1919 that for all , . In 1962, Lehman found the first counterexample: 906150257. The first plot is of , which is closely related to the Liouville function . It shows fluctuations with increasing maxima alternating with minima near the axis. The second plot shows versus .


  • [Snapshot]
  • [Snapshot]
  • [Snapshot]


[1] Matt. "Examples of Apparent Patterns That Eventually Fail." Mathematics StackExchange. (Aug 27, 2014) math.stackexchange.com/questions/111440/examples-of-apparent-%5 Cpatterns-that-eventually-fail.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.