[math-fun] The (in)famous windmill problem