← Mathematical handbook

Convexity of the exact diagonal-band support

theorem Verification.bandLowerEdge_convex {b : ℝ} (hb : 0 < b) : ConvexOn ℝ Set.univ (bandLowerEdge b)

theorem Verification.bandSupport_convex {b : ℝ} (hb : 0 < b) : Convex ℝ (bandSupport b)

The exact support in the real square is convex for every positive slope.