设 $fin C^1(a,b)$ 适合 $$ex lim_{x o a^+}f(x)=+infty,quad lim_{x o b^-}f(x)=-infty, eex$$ 并且 $$ex f'(x)+f^2(x)geq -1,quad forall xin (a,b). eex$$ 试证: $b-ageq pi$.
设 $fin C^1(a,b)$ 适合 $$ex lim_{x o a^+}f(x)=+infty,quad lim_{x o b^-}f(x)=-infty, eex$$ 并且 $$ex f'(x)+f^2(x)geq -1,quad forall xin (a,b). eex$$ 试证: $b-ageq pi$.