theorem Th95: :: NUMBER19:95

for n being Nat st 0 <= n & n < (((2 * 3) * 5) * 7) * 11 holds
76 <= card ((seq (n,100)) /\ (((((multiples 2) \/ (multiples 3)) \/ (multiples 5)) \/ (multiples 7)) \/ (multiples 11)))