$f(x,y,z) = x\sqrt{2} + y\sqrt{5} + z\sqrt{7}$
Esta función podría aumentar en un orden de magnitud similar a sus entradas. Además, es posible demostrar que para $x,y,z \in \mathbb{Z}, f(x,y,z)$ debe ser único $\forall x,y,z$.
Edit: Prueba:
Supongamos por contradicción que $\exists x_{1},y_{1},z_{1},x_{2},y_{2},z_{2} \in \mathbb{Z}$:
$f(x_{1},y_{1},z_{1}) = f(x_{2},y_{2},z_{2})$ , con al menos uno de los siguientes se cumplen: $x_{1} \neq x_{2}, y_{1} \neq y_{2} , z_{1} \neq z_{2}$
Luego tenemos a $x_{1}\sqrt{2} + y_{1}\sqrt{5} + z_{1}\sqrt{7} = x_{2}\sqrt{2} + y_{2}\sqrt{5} + z_{2}\sqrt{7}$
$\Rightarrow (x_{1} - x_{2})\sqrt{2} + (y_{1} - y_{2})\sqrt{5} + (z_{1} - z_{2})\sqrt{7} = 0$
En el caso de que $x_{1} = x_{2}$$y_{1} \neq y_{2}$$z_{1} \neq z_{2}$:
$\frac{\sqrt{5}}{\sqrt{7}} = \frac{z_{2} - z_{1}}{y_{1}-y_{2}}$
Esto implicaría que $\frac{\sqrt{5}}{\sqrt{7}} \in \mathbb{Q}$, lo que conduce a una contradicción (distintos irracional dividido por distintas irracional también debe ser irracional - fácil de demostrar)
Una otra prueba similar se aplica para el caso en que $y_{1} = y_{2}, x_{1} \neq x_{2}$ $z_{1} \neq z_{2}$ y en el caso de al $z_{1} = z_{2}, x_{1} \neq x_{2}$ $y_{1} \neq y_{2}$
Si tenemos $x_{1} = x_{2}$$y_{1} = y_{2}$, entonces obtenemos $z_{1} = z_{2}$ lo cual es una contradicción. Por lo tanto hemos demostrado las siguientes condiciones:
$x_{1} \neq x_{2}, y_{1} \neq y_{2} , z_{1} \neq z_{2}$
deje $a = x_{1} - x_{2}, b = -(y_{1}-y_{2}), c = -(z_{1} - z_{2})$
Luego tenemos a $a\sqrt{2} = b\sqrt{5} + c\sqrt{7}$
$\Rightarrow \sqrt{2} = \frac{b\sqrt{5} + c\sqrt{7}}{a}$
deje $b_{1} = \frac{b}{a}, c_{1} = \frac{c}{a}$
$\Rightarrow b_{1}, c_{1} \in \mathbb{R}$
$2 = (b_{1}\sqrt{5} + c_{1}\sqrt{7})^{2}$
$\sqrt{35} = 2 - 5b_{1}^{2} - 7c_{1}^{2}$
$\Rightarrow \sqrt{35} \in \mathbb{Q}$ lo cual es una contradicción.
Esto implica que $\forall x,y,z \in \mathbb{Z}, f(x,y,z)$ es único.