inverse Ackermann function