Divisibilityhard
0:00.0

How many integers from 1 to 10000 are divisible by at least one of 3, 5, or 7?