Erdős problem 945Is it true that F(x)≤(logx)O(1)F(x) \leq (\log x)^{O(1)}?SourcesBrowse retained paths and inspect the exact material available for this Problem.5 retained statements · 2415f78e850aOpen selected sourceFormalConjectures/ErdosProblems/945.leanRetained formal statement1 of 5Is it true that F(x)≤(logx)O(1)F(x) \leq (\log x)^{O(1)}?FormalConjectures/ErdosProblems/945.lean · Erdos945.erdos_9451 lineExact file1True ↔ Erdos945.Erdos945PropOpenStatement only, no proofSource providersErdős Problems1Formal Conjectures5Referenced pathsFormalConjectures/ErdosProblems/945.lean5erdos_945Statement only, no prooferdos_945.variants.constantStatement only, no prooferdos_945.variants.equivalenceStatement only, no prooferdos_945.variants.lower_boundStatement only, no prooferdos_945.variants.upper_boundStatement only, no proof
Is it true that F(x)≤(logx)O(1)F(x) \leq (\log x)^{O(1)}?FormalConjectures/ErdosProblems/945.lean · Erdos945.erdos_9451 lineExact file1True ↔ Erdos945.Erdos945PropOpenStatement only, no proof