MathDB
IMC 2012 Day 1, Problem 4

Source:

July 28, 2012
functionlimitintegrationIMCcollege contests

Problem Statement

Let f:  RRf:\;\mathbb{R}\to\mathbb{R} be a continuously differentiable function that satisfies f(t)>f(f(t))f'(t)>f(f(t)) for all tRt\in\mathbb{R}. Prove that f(f(f(t)))0f(f(f(t)))\le0 for all t0t\ge0.
Proposed by Tomáš Bárta, Charles University, Prague.