Erdős problem 757

What is the supremum of the set of admissible numbers?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

757.lean

Retained formal statement1 of 3

What is the supremum of the set of admissible numbers?

FormalConjectures/ErdosProblems/757.leanErdos757.erdos_7571 lineExact file

1∀ {A : Set ℝ}, sorry = sSup {c | Erdos757.IsAdmissible c}

OpenStatement only, no proof