[math-fun] the shape of the Colosseum