46:
62:
22:
165:
number of prime factors, then the former set has at least as many members as the latter set. Repeated prime factors are counted repeatedly; for instance, we say that 18 = 2 × 3 × 3 has an odd number of prime factors, while 60 =
77: = 2 × 10. The green spike shows the function itself (not its negative) in the narrow region where the conjecture fails; the blue curve shows the oscillatory contribution of the first Riemann zero.
122:. Though mathematicians typically refer to this statement as the Pólya conjecture, Pólya never actually conjectured that the statement was true; rather, he showed that the truth of the statement would imply the
245:
330:
731:
37: = 10. The (disproved) conjecture states that this function is always negative. The readily visible oscillations are due to the first non-trivial zero of the
582:
133:
is often used to demonstrate the fact that a conjecture can be true for many cases and still fail to hold in general, providing an illustration of the
921:
776:
759:
724:
754:
895:
618:
575:
811:
717:
371:
749:
916:
568:
179:
841:
274:
in 1958. He showed that the conjecture has a counterexample, which he estimated to be around 1.845 × 10.
781:
693:
262:
is even, and is negative if it is odd. The big Omega function counts the total number of prime factors of an integer.
134:
816:
890:
628:
450:
766:
673:
501:
875:
821:
801:
613:
880:
848:
836:
865:
806:
786:
771:
860:
791:
688:
648:
643:
603:
853:
698:
38:
826:
282:
870:
831:
683:
668:
658:
388:
271:
119:
796:
678:
653:
608:
469:
301:
170:
123:
166:
2 × 2 × 3 × 5 has an even number of prime factors.
638:
543:
410:
367:
361:
623:
510:
459:
426:
402:
357:
339:
524:
481:
422:
520:
477:
430:
418:
343:
150:
325:
115:
633:
130:
96:
464:
445:
910:
546:
84:
107:
393:
592:
406:
111:
45:
515:
496:
414:
551:
99:
709:
61:
21:
560:
497:"A Numerical Investigation on Cumulative Sum of the Liouville Function"
473:
65:
Logarithmic graph of the negative of the summatory
Liouville function
126:. For this reason, it is more accurately called "Pólya's problem".
258:) = (−1) is positive if the number of prime factors of the integer
60:
44:
20:
713:
564:
169:
Equivalently, it can be stated in terms of the summatory
57:) in the region where the Pólya conjecture fails to hold.
328:(1919). "Verschiedene Bemerkungen zur Zahlentheorie".
240:{\displaystyle L(n)=\sum _{k=1}^{n}\lambda (k)\leq 0}
182:
331:
Jahresbericht der
Deutschen Mathematiker-Vereinigung
300:≤ 906,488,079. In this region, the summatory
239:
157:(excluding 0) are partitioned into those with an
292:The conjecture fails to hold for most values of
95:) stated that "most" (i.e., 50% or more) of the
391:(1958). "A disproof of a conjecture of Pólya".
289:= 906,150,257, found by Minoru Tanaka in 1980.
725:
576:
277:A (much smaller) explicit counterexample, of
114:was set forth by the Hungarian mathematician
8:
49:Closeup of the summatory Liouville function
366:. Courier Dover Publications. p. 483.
732:
718:
710:
583:
569:
561:
161:number of prime factors and those with an
514:
463:
213:
202:
181:
145:The Pólya conjecture states that for any
285:in 1960; the smallest counterexample is
317:
270:The Pólya conjecture was disproved by
296:in the region of 906,150,257 ≤
118:in 1919, and proved false in 1958 by
16:Disproved conjecture in number theory
7:
363:Mathematics: The Man-Made Universe
304:reaches a maximum value of 829 at
14:
465:10.1090/S0025-5718-1960-0120198-5
173:, with the conjecture being that
922:Conjectures about prime numbers
228:
222:
192:
186:
1:
25:Summatory Liouville function
502:Tokyo Journal of Mathematics
281:= 906,180,359 was given by
135:strong law of small numbers
938:
451:Mathematics of Computation
149: > 1, if the
745:
599:
446:"On Liouville's function"
407:10.1112/S0025579300001480
129:The size of the smallest
102:any given number have an
740:Prime number conjectures
891:Schinzel's hypothesis H
516:10.3836/tjm/1270216093
444:Lehman, R. S. (1960).
241:
218:
153:less than or equal to
78:
58:
42:
917:Disproved conjectures
896:Waring's prime number
619:Euler's sum of powers
242:
198:
64:
48:
39:Riemann zeta function
24:
180:
861:Legendre's constant
495:Tanaka, M. (1980).
272:C. Brian Haselgrove
120:C. Brian Haselgrove
812:Elliott–Halberstam
797:Chinese hypothesis
609:Chinese hypothesis
547:"Pólya Conjecture"
544:Weisstein, Eric W.
302:Liouville function
237:
171:Liouville function
124:Riemann hypothesis
93:Pólya's conjecture
79:
59:
43:
904:
903:
832:Landau's problems
707:
706:
389:Haselgrove, C. B.
358:Stein, Sherman K.
283:R. Sherman Lehman
929:
750:Hardy–Littlewood
734:
727:
720:
711:
659:Ono's inequality
585:
578:
571:
562:
557:
556:
529:
528:
518:
492:
486:
485:
467:
441:
435:
434:
385:
379:
377:
354:
348:
347:
322:
254:> 1. Here, λ(
246:
244:
243:
238:
217:
212:
89:Pólya conjecture
937:
936:
932:
931:
930:
928:
927:
926:
907:
906:
905:
900:
741:
738:
708:
703:
595:
589:
542:
541:
538:
533:
532:
494:
493:
489:
458:(72): 311–320.
443:
442:
438:
387:
386:
382:
374:
356:
355:
351:
324:
323:
319:
314:
308:= 906,316,571.
268:
178:
177:
151:natural numbers
143:
97:natural numbers
81:
80:
17:
12:
11:
5:
935:
933:
925:
924:
919:
909:
908:
902:
901:
899:
898:
893:
888:
883:
878:
873:
868:
863:
858:
857:
856:
851:
846:
845:
844:
829:
824:
819:
814:
809:
804:
799:
794:
789:
784:
779:
774:
769:
764:
763:
762:
757:
746:
743:
742:
739:
737:
736:
729:
722:
714:
705:
704:
702:
701:
696:
691:
686:
681:
676:
671:
666:
661:
656:
651:
646:
641:
636:
634:Hauptvermutung
631:
626:
621:
616:
611:
606:
600:
597:
596:
590:
588:
587:
580:
573:
565:
559:
558:
537:
536:External links
534:
531:
530:
509:(1): 187–189.
487:
436:
401:(2): 141–145.
380:
372:
349:
316:
315:
313:
310:
267:
264:
248:
247:
236:
233:
230:
227:
224:
221:
216:
211:
208:
205:
201:
197:
194:
191:
188:
185:
142:
139:
131:counterexample
19:
18:
15:
13:
10:
9:
6:
4:
3:
2:
934:
923:
920:
918:
915:
914:
912:
897:
894:
892:
889:
887:
884:
882:
879:
877:
874:
872:
869:
867:
864:
862:
859:
855:
852:
850:
847:
843:
840:
839:
838:
835:
834:
833:
830:
828:
825:
823:
820:
818:
817:Firoozbakht's
815:
813:
810:
808:
805:
803:
800:
798:
795:
793:
790:
788:
785:
783:
780:
778:
775:
773:
770:
768:
765:
761:
758:
756:
753:
752:
751:
748:
747:
744:
735:
730:
728:
723:
721:
716:
715:
712:
700:
697:
695:
692:
690:
687:
685:
682:
680:
677:
675:
672:
670:
667:
665:
662:
660:
657:
655:
652:
650:
647:
645:
642:
640:
637:
635:
632:
630:
627:
625:
622:
620:
617:
615:
612:
610:
607:
605:
602:
601:
598:
594:
586:
581:
579:
574:
572:
567:
566:
563:
554:
553:
548:
545:
540:
539:
535:
526:
522:
517:
512:
508:
504:
503:
498:
491:
488:
483:
479:
475:
471:
466:
461:
457:
453:
452:
447:
440:
437:
432:
428:
424:
420:
416:
412:
408:
404:
400:
396:
395:
390:
384:
381:
375:
373:9780486404509
369:
365:
364:
359:
353:
350:
345:
341:
337:
334:(in German).
333:
332:
327:
321:
318:
311:
309:
307:
303:
299:
295:
290:
288:
284:
280:
275:
273:
265:
263:
261:
257:
253:
234:
231:
225:
219:
214:
209:
206:
203:
199:
195:
189:
183:
176:
175:
174:
172:
167:
164:
160:
156:
152:
148:
140:
138:
136:
132:
127:
125:
121:
117:
113:
109:
108:prime factors
105:
101:
98:
94:
90:
86:
85:number theory
76:
72:
68:
63:
56:
52:
47:
40:
36:
32:
28:
23:
885:
782:Bateman–Horn
663:
629:Hedetniemi's
550:
506:
500:
490:
455:
449:
439:
398:
392:
383:
362:
352:
335:
329:
320:
305:
297:
293:
291:
286:
278:
276:
269:
259:
255:
251:
249:
168:
162:
158:
154:
146:
144:
128:
116:George Pólya
103:
92:
88:
82:
74:
70:
66:
54:
50:
34:
30:
26:
876:Oppermann's
822:Gilbreath's
792:Bunyakovsky
689:Von Neumann
593:conjectures
394:Mathematika
911:Categories
881:Polignac's
854:Twin prime
849:Legendre's
837:Goldbach's
767:Agoh–Giuga
699:Williamson
694:Weyl–Berry
674:Schoen–Yau
591:Disproved
431:0085.27102
344:47.0882.06
312:References
112:conjecture
106:number of
866:Lemoine's
807:Dickson's
787:Brocard's
772:Andrica's
552:MathWorld
415:0025-5793
338:: 31–40.
326:Pólya, G.
232:≤
220:λ
200:∑
141:Statement
100:less than
871:Mersenne
802:Cramér's
669:Ragsdale
649:Keller's
644:Kalman's
604:Borsuk's
360:(2010).
266:Disproof
250:for all
73:) up to
33:) up to
827:Grimm's
777:Artin's
679:Seifert
654:Mertens
525:0584557
482:0120198
474:2003890
423:0104638
684:Tait's
639:Hirsch
614:Connes
523:
480:
472:
429:
421:
413:
370:
342:
110:. The
87:, the
886:Pólya
664:Pólya
624:Ganea
470:JSTOR
842:weak
411:ISSN
368:ISBN
163:even
91:(or
760:2nd
755:1st
511:doi
460:doi
427:Zbl
403:doi
340:JFM
159:odd
104:odd
83:In
913::
549:.
521:MR
519:.
505:.
499:.
478:MR
476:.
468:.
456:14
454:.
448:.
425:.
419:MR
417:.
409:.
397:.
336:28
137:.
733:e
726:t
719:v
584:e
577:t
570:v
555:.
527:.
513::
507:3
484:.
462::
433:.
405::
399:5
378:.
376:.
346:.
306:n
298:n
294:n
287:n
279:n
260:k
256:k
252:n
235:0
229:)
226:k
223:(
215:n
210:1
207:=
204:k
196:=
193:)
190:n
187:(
184:L
155:n
147:n
75:n
71:n
69:(
67:L
55:n
53:(
51:L
41:.
35:n
31:n
29:(
27:L
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.