First, as the inequality is invariant under the transformations f \mapsto cf, x \mapsto -x , we may assume WLOG that f(0), \ f'(0) \ge 0, and ||f||_\infty = 1. Thus, we must prove
|f'(0)|^2 \le 4(1 + ||f''||_\infty) subject to ||f||_\infty = 1. Now, for all x \in (0, 1) we have
1 \ge f(x) \ge...