Temos vários casos a considerar:

a) a>1 e b>1: é evidente que g(ab)=g(a)+g(b).

b) 0<a<b<1: então, certamente ab<a. Neste caso também temos g(ab)=g(a)+g(b).

c)0<a<1<b: então pode acontecer 0<a<1<ab<b ou 0<a<ab<1<b. Em qualquer caso, também vale g(ab)=g(a)+g(b).