Problem 4.1 • Check independence of "Divisible by a" and "Divisible by b" in range [1, N]
Blue dot: Divisible by 2. Pink dot: Divisible by 3.
...
Usually independent if N is a multiple of LCM(a, b), but can vary for arbitrary N due to "edge effects" (incomplete cycles of divisibility).