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