Re: [math-fun] "Density" of a regular polytope