Existe um par (f;g) de funções estritamente monotônicas, ambas de N a N, tais que f(g(g(n)))<g(f(n)) para cada n∈N?