Ackermann function
The function formula_48 defined in this way agrees with the Ackermann function formula_49 defined above: formula_50.