Skip to content

Erdős problem 385

Note that trivially F(n)≤n+nF(n) \leq n + \sqrt{n}.

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

385.lean

Retained formal statement4 of 4

Note that trivially F(n)≤n+nF(n) \leq n + \sqrt{n}.

FormalConjectures/ErdosProblems/385.leanErdos385.trivial_ub1 lineExact file
∀ (n : ℕ), ↑(Erdos385.F n) ≤ ↑n + √↑n
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page