[math-fun] Shape of the Colosseum, again