Erdős problem 757 · problems.science

What is the supremum of the set of admissible numbers?

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

757.lean

Retained formal statement3 of 3

In [GyLe95], the authors also prove that the supremum is smaller than 3 / 5.

FormalConjectures/ErdosProblems/757.leanErdos757.erdos_757.variants.upperBound1 lineExact file

1∀ {A : Set ℝ}, sSup {c | Erdos757.IsAdmissible c} < 3 / 5

SolvedStatement only, no proof