MathDB
Find all functions f:N--> N

Source: Saudi Arabia IMO TST Day I Problem 4

July 22, 2014
functioninductionalgebra unsolvedalgebra

Problem Statement

Find all functions f:NNf:\mathbb{N}\rightarrow\mathbb{N} such that f(n+1)>f(n)+f(f(n))2f(n+1)>\frac{f(n)+f(f(n))}{2} for all nNn\in\mathbb{N}, where N\mathbb{N} is the set of strictly positive integers.