Erdős problem 236 · problems.science

Let $f(n)$ count the number of solutions to $n=p+2^k$ for prime $p$ and $k\geq 0$ . Show that $f(n)=o(\log n)$ .

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

236.lean

Retained formal statement1 of 1

Let $f(n)$ count the number of solutions to $n=p+2^k$ for prime $p$ and $k\geq 0$ . Show that $f(n)=o(\log n)$ .

FormalConjectures/ErdosProblems/236.leanErdos236.erdos_2361 lineExact file

1(fun n => ↑(Erdos236.f n)) =o[Filter.atTop] fun n => Real.log ↑n

OpenStatement only, no proof