[math-fun] Cardinality puzzle