lean_workbook_plus_55442

Find all functions $f: Z \rightarrow R$ that verify the following two conditions:\n(i) for each pair of integers $(m,n)$ with $m<n$ one has $f(m)<f(n)$ ;\n(ii) for each pair of integers $(m,n)$ there exists an integer $k$ such that $f(m)-f(n)=f(k)$ .