[math-fun] Point covering problem