[math-fun] Comparing sizes of sets of natural numbers