Ackermann function (1,0)