A root-finding guarantee, part 2 of 3 · QuantMax