[math-fun] Antoine's necklace