Encuentra todas las funciones \(f\colon \mathbb{R}^+\times \mathbb{R}^+\to \mathbb{R}^+\) tales que, para todo \(x,y,z,t>0\), se cumple \[f(x+y, z+t)\leq f(z,x)+f(t,y)\] y \[f\left(\frac{x}{y}, \frac{y}{x}\right)(x+y-f(y,x))=f(x,y)\]