MathDB
f(x)f'(x)≥cos, f(∞)=undef. if f is bounded

Source: VJIMC 2013 1.1

May 30, 2021
functioncalculuslimits

Problem Statement

Let f:[0,)Rf:[0,\infty)\to\mathbb R be a differentiable function with f(x)M|f(x)|\le M and f(x)f(x)cosxf(x)f'(x)\ge\cos x for x[0,)x\in[0,\infty), where M>0M>0. Prove that f(x)f(x) does not have a limit as xx\to\infty.