Skip to content

Erdős problem 945

Start work

Is it true that F(x)≤(log⁡x)O(1)F(x) \leq (\log x)^{O(1)}?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/945.lean

Formal Conjectures

FormalConjectures/ErdosProblems/945.leanErdos945.erdos_9451 lineExact file
True ↔ Erdos945.Erdos945Prop
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry