The Chebyshev game
Choose the best values for a0 and a1 in order to have the narrowest symmetric interval in y that contains the parabolic arc.
See Róbert Vajda's paper on solving this problem by using quantifier elimination and other methods. Also see visualization of a generalized problem.