Skip to content

Erdős problem 1145

Start work

Let A={1≤a1<a2<⋯ }A=\{1\leq a_1 < a_2 < \cdots\} and B={1≤b1<b2<⋯ }B=\{1\leq b_1 < b_2 < \cdots\} be sets of integers with an/bn→1a_n/b_n\to 1.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/1145.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1145.leanErdos1145.erdos_11451 lineExact file
True ↔ Erdos1145.Erdos1145Prop
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry