Gaussian curvature
with equality characterizing a metric of constant Gaussian curvature.