← Copula mathematical handbook

theorem ProbabilityTheory.Copula.RankRegion.XiBlest.Support.quadraticBand_comonotonic_error (b r : ℝ) (hb : 0 < b) (hr : 0 ≤ r) (hbr : 1 ≤ b * r ^ 2) (u v : ↑unitInterval) : |(quadraticBand b ⋯).cdf ![u, v] - min ↑u ↑v| ≤ r

A uniform rate at the comonotonic endpoint.