Skip to content

Erdős problem 968

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/968.lean

Formal Conjectures

FormalConjectures/ErdosProblems/968.leanErdos968.erdos_9681 lineExact file
sorry ↔ 0 < {n | Erdos968.u n < Erdos968.u (n + 1)}.lowerDensity
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page