A uniform cubic remainder for the glued boundary coordinates #
theorem
Papers.AnsariRockelSteinmassl2026RhoGamma.glued_cubic_estimate
{s a z m q : ℝ}
(hs : 0 ≤ s)
(hs1 : s ≤ 1 / 4)
(ha : 0 ≤ a)
(has : a ≤ s)
(hz : z = 1 - a)
(hm0 : 0 ≤ m)
(hms : m ≤ s)
(hq0 : 0 ≤ q)
(hm : |m - s / 2| ≤ s ^ 2 / 2)
(hq : |q - s ^ 2 / 4| ≤ 2 * s ^ 3)
:
Quantitative form of Remark 2.2, before substituting a concrete boundary arc.