Erdős problem 325 · problems.science

Writing $f_{k, 3}(x)$ for the number of integers $\leq x$ which are the sum of three $k$ th powers, is it true that $f_{k, 3}(x) \gg x ^ (3 / k)$ ?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/325.lean

Formal Conjectures

FormalConjectures/ErdosProblems/325.leanErdos325.erdos_3251 lineExact file

1True ↔ ∀ (k : ℕ), 3 ≤ k → (fun x => ↑x ^ (3 / ↑k)) =O[Filter.atTop] fun x => ↑(Erdos325.cardIsSumThreePowerBelow k x)

OpenStatement only, no proof