Otimização de algoritmos: Função de Ackermann