Problem

Source: Romanian National Olympiad 2024 - Grade 12 - Problem 1

Tags: real analysis, calculus, integration, function



Let $f: \mathbb{R} \to \mathbb{R}$ be a continuous function such that $f(x)+\sin(f(x)) \ge x,$ for all $x \in \mathbb{R}.$ Prove that $$\int\limits_0^{\pi} f(x) \mathrm{d}x \ge \frac{\pi^2}{2}-2.$$