Favor si es posible publicar las soluciones comentadas de los ejercicios. En particular en el de conteo de funciones estrictamente crecientes f:{1,2,3...9} -- {1,2,3 ... 12} con f(3) >=f(2)+2, me da por debajo de la solución correcta, y no se de donde salen las funciones que me están faltando contar.
Gracias desde ya.