Erdős problem 968 · problems.science

Does the set {n | u n < u (n+1)} have positive lower density?

Sources

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

968.lean

Retained formal statement1 of 5

Does the set {n | u n < u (n+1)} have positive lower density?

FormalConjectures/ErdosProblems/968.leanErdos968.erdos_9681 lineExact file

1sorry ↔ 0 < {n | Erdos968.u n < Erdos968.u (n + 1)}.lowerDensity

OpenStatement only, no proof