Ackermann function (2,2)