Find all strictly increasing functions f:N->N such that (f(x) + f(y))/(1 + f(x + y)) is a non-zero natural number, for all x, y∈N.
f(x) = kx + 1 works, where k is an integer > 0
Then
(f(x) + f(y))/(1 + f(x + y)) = 1
I don't offhand see anything else that works.