Erdős problem 421
Is there a sequence with density 1 such that all products are distinct?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/421.leanTrue ↔ ∃ d, StrictMono d ∧ 1 ≤ d 0 ∧ (Set.range d).HasDensity 1 ∧ Set.InjOn (fun x => match x with | (u, v) => ∏ i ∈ Finset.Icc u v, d i) {(u, v) | u ≤ v}OpenStatement only, no proof