[math-fun] Insomniacs Problem Revisited: