Multiplying the Step 3 bound by ∣a−c∣∣a+b+c∣ gives ∣(b−c)(a−b)(a−c)(a+b+c)∣≤41∣c−a∣3∣a+b+c∣. Writing u=(b−a)2+(c−b)2+(c−a)2 and s=∣a+b+c∣, Step 4 gives ∣c−a∣2≤32u, hence ∣c−a∣3≤(32u)3/2 and the bound becomes ∣(b−c)(a−b)(a−c)(a+b+c)∣≤41(32u)3/2s.