Inverse Ackermann function