Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Corollary 2 of K. Ono, Distribution of the partition function modulo mm, Ann. of Math. (2) 151 (2000), no. 1, 293–307, digested on the card [[../library/arithmetic_functions/ono_2000_distribution_partition_function_modulo_m/_index|Ono 2000]]: Erdős's conjecture that every prime mm divides p(n)p(n) for some nn is true. The corollary adds counts of the n≤Xn\le X with p(n)≡0(modm)p(n)\equiv0\pmod m: ≫mX\gg_m X for primes m≥5m\ge5, from Theorem 1, and ≫mX\gg_m\sqrt X for m=2m=2; for m=3m=3 it rests on p(3)=3p(3)=3, and the paper notes that it is not known whether p(n)≡0(mod3)p(n)\equiv0\pmod3 for infinitely many nn.

The bridge to Problem 1106 is not in the paper; it is stated here. Given kk, each of the first kk primes divides some p(ni)p(n_i), so for n≥max⁡inin\ge\max_i n_i the product p(1)p(2)⋯p(n)p(1)p(2)\cdots p(n) has at least kk distinct prime factors; hence F(n)→∞F(n)\to\infty. The corollary gives no rate.

Covers. The first question: F(n)→∞F(n)\to\infty. The second question, whether F(n)>nF(n)>n for all large nn, is not addressed.

Depends on. No page of this wiki: the bridge is proved above.

Acceptance. Refereed: the paper appeared in the Annals of Mathematics in January 2000. The site's commentary credits this paper with the statement that every prime divides some p(n)p(n), but the site labels the problem OPEN, so the commentary is not acceptance and no reviewed is listed. The page is dated by the journal issue, which precedes the arXiv posting of 17 August 2000.