Erdős problem 236
Let count the number of solutions to for prime and . Show that .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/236.lean(fun n => ↑(Erdos236.f n)) =o[Filter.atTop] fun n => Real.log ↑nOpenStatement only, no proof