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