“…Answering a question of Erdős , two sets of authors in and independently proved that for any , It was suggested in [, Conjecture 7.2] that a similar statement must hold for all , namely We will prove this statement for by constructing ‐free (or, in terms of , ‐sparse) partial Steiner ‐systems with blocks (edges). The case is trivial, because any …”