Ackermann function of 4, 2