Skip to content

Erdős problem 979

Let k≥2k ≥ 2, and let fk(n)f_k(n) count the number of solutions to n=p1k+⋯+pkkn = p_1^k + \dots + p_k^k, where the pip_i are prime numbers. Is it true that lim sup⁡fk(n)=∞\limsup f_k(n) = \infty?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

979.lean

Retained formal statement2 of 3

Erdős [Er37b] proved that if f2(n)f_2(n) counts the number of solutions to n=p12+p22n = p_1^2 + p_2^2, where p1p_1 and p2p_2 are prime numbers, then lim sup⁡f2(n)=∞\limsup f_2(n) = \infty.

[Er37b] Erdős, Paul, On the Sum and Difference of Squares of Primes. J. London Math. Soc. (1937), 133--136.

FormalConjectures/ErdosProblems/979.leanErdos979.erdos_979.variants.k21 lineExact file
Filter.limsup (fun n => (Erdos979.solutionSet n 2).encard) Filter.atTop = ⊤
SolvedStatement only, no proof