IMC 1997 · Problem 1

Day 24th IMC · Plovdiv, Bulgaria

Statement

Let ff be a C3(R)C^3(\mathbb{R}) non-negative function, f(0)=f(0)=0f(0) = f'(0) = 0, 0<f(0)0 < f''(0). Let

g(x)=(f(x)f(x))g(x) = \left( \frac{\sqrt{f(x)}}{f'(x)} \right)'

for x0x \ne 0 and g(0)=0g(0) = 0. Show that gg is bounded in some neighbourhood of 00. Does the theorem hold for fC2(R)f \in C^2(\mathbb{R})?

Official solution

Hidden so you can work on the problem first.