Conjugacy, gradients, and Bregman geometry of the scaled squared norms below exponent two.

theorem V7.Stage3BelowTwo.fenchel_upper {d : ℕ} {p : ℝ} (hp : 1 < p) (s x : Point d) : pairing s x - belowH p x ≤ belowHstar p s

theorem V7.Stage3BelowTwo.belowGeometry : BelowGeometryStatement

theorem V7.belowGeometry : BelowGeometryStatement