lean_workbook_plus_61340

So $f(x)=0$ $\forall x\le 0$ . And so $f(x)=x$ $\forall x\ge 0$ . And so $f(x)=\max(x,0)$ , which indeed is a solution . $-f(-x)$ is then $\min(x,0)$ .