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