Let 1<a1<a2<…<an<x be positive integers such that \sum_{i\equal{}1}^n 1/a_i \leq 1. Let y denote the number of positive integers smaller that x not divisible by any of the ai. Prove that y>logxcx with a suitable positive constant c (independent of x and the numbers ai).
I. Z. Ruzsa logarithmsnumber theory proposednumber theorycollege contestscombinatorics