Let f:ℤ+ → ℤ+ be