(Fitter) Remove minimization step when no root exist
We should determine if the function f is always strictly decreasing, even when no root exists. If so, the bisection method actually already finds the t value that maximizes f, so there's no need to perform an actual minimization.
Sample plot of f(t)