Да оно всё понятно, но!
"То есть функция убывает от ~0 до F(x0), то есть становится < 0" - эмн, што? С какого бы? Функция x^2 + 0,0001 всюду больше 0. Тем не менее, она убывает до x = 0 и возрастает после x = 0. При этом в нуле она = 0,0001 > 0. То, что функция убывает до точки не означает, что она в этой точке отрицательна. А ведь я могу взять и x^2 + 10000000000000000000000000, например:)