Suppose a function $f:\mathbb{R}\to\mathbb{R}$ satisfies $|f(x+y)|\geqslant|f(x)+f(y)|$ for all real numbers $x$ and $y$. Prove that equality always holds. Is the conclusion valid if the sign of the inequality is reversed?
Source: Romania EGMO TST 2020 Day 1 P2
Tags: function, algebra, romania
Suppose a function $f:\mathbb{R}\to\mathbb{R}$ satisfies $|f(x+y)|\geqslant|f(x)+f(y)|$ for all real numbers $x$ and $y$. Prove that equality always holds. Is the conclusion valid if the sign of the inequality is reversed?