Specifying and Verifying the Convergence Stairs of the Collatz Program

Ali Ebnenasir

This paper presents an algorithmic method that, given a positive integer $j$, generates the $j$-th convergence stair containing all natural numbers from where the Collatz conjectur…