Found problems: 98
2025 Iran MO (2nd Round), 5
Find all functions $f:\mathbb{R}^+ \to \mathbb{R}$ such that for all $x,y,z>0$
$$
3(x^3+y^3+z^3)\geq f(x+y+z)\cdot f(xy+yz+xz) \geq (x+y+z)(xy+yz+xz).
$$
2025 Ukraine National Mathematical Olympiad, 11.3
Find all functions \(f: \mathbb{R} \rightarrow \mathbb{R}\) such that for any real numbers \(x\) and \(y\), the following inequality holds:
\[
f\left(x^2+2y f(x)\right) + (f(y))^2 \leq f\left((x+y)^2\right)
\]
[i]Proposed by Anton Trygub[/i]
2011 IMO, 3
Let $f : \mathbb R \to \mathbb R$ be a real-valued function defined on the set of real numbers that satisfies
\[f(x + y) \leq yf(x) + f(f(x))\]
for all real numbers $x$ and $y$. Prove that $f(x) = 0$ for all $x \leq 0$.
[i]Proposed by Igor Voronovich, Belarus[/i]
2017 Miklós Schweitzer, 6
Let $I$ and $J$ be intervals. Let $\varphi,\psi:I\to\mathbb{R}$ be strictly increasing continuous functions and let $\Phi,\Psi:J\to\mathbb{R}$ be continuous functions. Suppose that $\varphi(x)+\psi(x)=x$ and $\Phi(u)+\Psi(u)=u$ holds for all $x\in I$ and $u\in J$. Show that if $f:I\to J$ is a continuous solution of the functional inequality
$$f\big(\varphi(x)+\psi(y)\big)\le \Phi\big(f(x)\big)+\Psi\big(f(y)\big)\qquad (x,y\in I),$$then $\Phi\circ f\circ \varphi^{-1}$ and $\Psi\circ f\circ \psi^{-1}$ are convex functions.
2009 Switzerland - Final Round, 9
Find all injective functions $f : N\to N$ such that holds for all natural numbers $n$:
$$f(f(n)) \le \frac{f(n) + n}{2}$$
2007 IMO Shortlist, 2
Consider those functions $ f: \mathbb{N} \mapsto \mathbb{N}$ which satisfy the condition
\[ f(m \plus{} n) \geq f(m) \plus{} f(f(n)) \minus{} 1
\]
for all $ m,n \in \mathbb{N}.$ Find all possible values of $ f(2007).$
[i]Author: Nikolai Nikolov, Bulgaria[/i]
2023 Dutch BxMO TST, 2
Find all functions $f : \mathbb R \to \mathbb R$ for which
\[f(a - b) f(c - d) + f(a - d) f(b - c) \leq (a - c) f(b - d),\]
for all real numbers $a, b, c$ and $d$. Note that there is only one occurrence of $f$ on the right hand side!
1979 Kurschak Competition, 2
$f$ is a real-valued function defined on the reals such that $f(x) \le x$ and $f(x + y) \le f(x) + f(y)$ for all $x, y$. Prove that $f(x) = x$ for all $x$.
2022 IFYM, Sozopol, 6
For the function $f : Z^2_{\ge0} \to Z_{\ge 0}$ it is known that
$$f(0, j) = f(i, 0) = 1, \,\,\,\,\, \forall i, j \in N_0$$
$$f(i, j) = if (i, j - 1) + jf(i - 1, j),\,\,\,\,\, \forall i, j \in N$$
Prove that for every natural number $n$ the following inequality holds:
$$\sum_{0\le i+j\le n+1} f(i, j) \le 2 \left(\sum^n_{k=0}\frac{1}{k!}\right)\left(\sum^n_{p=1}p!\right)+ 3$$
1963 Swedish Mathematical Competition., 6
The real-valued function $f(x)$ is defined on the reals. It satisfies $|f(x)| \le A$, $|f''(x)| \le B$ for some positive $A, B$ (and all $x$). Show that $|f'(x)| \le C$, for some fixed$ C$, which depends only on $A$ and $B$. What is the smallest possible value of $C$?
2019 Thailand Mathematical Olympiad, 6
Determine all function $f:\mathbb{R}\to\mathbb{R}$ such that $xf(y)+yf(x)\leqslant xy$ for all $x,y\in\mathbb{R}$.
1994 Czech And Slovak Olympiad IIIA, 1
Let $f : N \to N$ be a function which satisfies $f(x)+ f(x+2) \le 2 f(x+1)$ for any $x \in N$.
Prove that there exists a line in the coordinate plane containing infinitely many points of the form $(n, f(n)), n \in N$.
2015 Belarus Team Selection Test, 3
Consider all polynomials $P(x)$ with real coefficients that have the following property: for any two real numbers $x$ and $y$ one has \[|y^2-P(x)|\le 2|x|\quad\text{if and only if}\quad |x^2-P(y)|\le 2|y|.\] Determine all possible values of $P(0)$.
[i]Proposed by Belgium[/i]
2017 Saudi Arabia BMO TST, 2
Let $R^+$ be the set of positive real numbers. Find all function $f : R^+ \to R$ such that, for all positive real number $x$ and $y$, the following conditions are satisfied:
i) $2f (x) + 2f (y) \le f (x + y)$
ii) $(x + y)[y f (x) + x f (y)] \ge x y f (x + y)$
2009 Brazil Team Selection Test, 3
Let $ S\subseteq\mathbb{R}$ be a set of real numbers. We say that a pair $ (f, g)$ of functions from $ S$ into $ S$ is a [i]Spanish Couple[/i] on $ S$, if they satisfy the following conditions:
(i) Both functions are strictly increasing, i.e. $ f(x) < f(y)$ and $ g(x) < g(y)$ for all $ x$, $ y\in S$ with $ x < y$;
(ii) The inequality $ f\left(g\left(g\left(x\right)\right)\right) < g\left(f\left(x\right)\right)$ holds for all $ x\in S$.
Decide whether there exists a Spanish Couple [list][*] on the set $ S \equal{} \mathbb{N}$ of positive integers; [*] on the set $ S \equal{} \{a \minus{} \frac {1}{b}: a, b\in\mathbb{N}\}$[/list]
[i]Proposed by Hans Zantema, Netherlands[/i]
1997 Slovenia Team Selection Test, 2
Find all polynomials $p$ with real coefficients such that for all real $x$ , $xp(x)p(1-x)+x^3 +100 \ge 0$.
1977 IMO Longlists, 2
Find all functions $f : \mathbb{N}\rightarrow \mathbb{N}$ satisfying following condition:
\[f(n+1)>f(f(n)), \quad \forall n \in \mathbb{N}.\]
2016 Taiwan TST Round 1, 1
Suppose function $f:[0,\infty)\to[0,\infty)$ satisfies
(1)$\forall x,y \geq 0,$ we have $f(x)f(y)\leq y^2f(\frac{x}{2})+x^2f(\frac{y}{2})$;
(2)$\forall 0 \leq x \leq 1, f(x) \leq 2016$.
Prove that $f(x)\leq x^2$ for all $x\geq 0$.
2009 IMO Shortlist, 5
Let $f$ be any function that maps the set of real numbers into the set of real numbers. Prove that there exist real numbers $x$ and $y$ such that \[f\left(x-f(y)\right)>yf(x)+x\]
[i]Proposed by Igor Voronovich, Belarus[/i]
2018 Dutch IMO TST, 2
Find all functions $f : R \to R$ such that $f(x^2)-f(y^2) \le (f(x)+y) (x-f(y))$ for all $x, y \in R$.
2024 Middle European Mathematical Olympiad, 1
Let $\mathbb{N}_0$ denote the set of non-negative integers. Determine all non-negative integers $k$ for which there exists a function $f: \mathbb{N}_0 \to \mathbb{N}_0$ such that $f(2024) = k$ and $f(f(n)) \leq f(n+1) - f(n)$ for all non-negative integers $n$.
2016 Saudi Arabia IMO TST, 2
Find all functions $f : R \to R$ satisfying the conditions:
1. $f (x + 1) \ge f (x) + 1$ for all $x \in R$
2. $f (x y) \ge f (x)f (y)$ for all $x, y \in R$
2024 Switzerland Team Selection Test, 8
Let $\mathbb R_{>0}$ be the set of positive real numbers. Determine all functions $f \colon \mathbb R_{>0} \to \mathbb R_{>0}$ such that \[x \big(f(x) + f(y)\big) \geqslant \big(f(f(x)) + y\big) f(y)\] for every $x, y \in \mathbb R_{>0}$.