Skip to content

Erdős problem 495

Let α,β∈R\alpha,\beta \in \mathbb{R}. Is it true thatlim inf⁡n→∞n∥nα∥∥nβ∥=0\liminf_{n\to \infty} n \| n\alpha \| \| n\beta\| =0? This is also known as the Littlewood conjecture.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/495.lean

Formal Conjectures

FormalConjectures/ErdosProblems/495.leanErdos495.erdos_4951 lineExact file
True ↔ ∀ (α β : ℝ), Filter.liminf (fun n => ↑n * distToNearestInt (↑n * α) * distToNearestInt (↑n * β)) Filter.atTop = 0
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page