lean_workbook_plus_58847

Let $f : \mathbb R \to \mathbb R$ such that $f(x) + f(y) \leqslant 2 - \left| x-y \right|$ for all $x,y \in \mathbb R$ . Prove that $f(x) \leq 1$ , for all $x \in \mathbb R$ .