lean_workbook_plus_59191

Prove that there doesn't exist a function $f:\mathbb{N} \rightarrow \mathbb{N}$ , such that $(m+f(n))^2 \geq 3f(m)^2+n^2$ for all $m, n \in \mathbb{N}$ .