We propose a detailed proof of the fact that the inverse of Ackermann function is computable in linear time.

中文翻译：

---

阿克曼函数的逆在线性时间内是可计算的

我们提出了一个详细的证明，即阿克曼函数的逆在线性时间内是可计算的。