lean_workbook_plus_37224

Given a real number $\varepsilon \in (0,1)$ , prove that, for all large enough positive integers $N$ , there exists a suitable set of size at least $\varepsilon N$ , each element of which is at most $N$ .