Sean Q+ y Z los conjuntos de los racionales positivos y de los enteros, respectivamente. Halle todas las funciones f : Q+ → Z que satisfacen las siguientes condiciones: (i) f(1999) = 1; (ii) f(ab) = f(a) + f(b) para todos a, b ∈ Q+; (iii) f(a + b) ≥ min{f(a), f(b)} para todos a, b ∈ Q+.