Empezamos con una función de complejidad arbitraria.