inequality, circumscriptible n-simplex, edge-tangent sphere