Erdős problem 170 · problems.science

The problem is to determine the limit of the sequence $\frac{F(N)}{\sqrt{N}}$ as $N \to \infty$ .

Sources

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

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

170.lean

Retained formal statement3 of 3

Sanity Check: the trivial ruler is actually a perfect ruler if $K \geq N$

FormalConjectures/ErdosProblems/170.leanErdos170.trivial_ruler_is_perfect1 lineExact file

1∀ (N : ℕ), Erdos170.TrivialRuler N ∈ Erdos170.PerfectRulersLengthN N

APIStatement only, no proof