Collatz cycle length lower bound (source code)

= Collatz cycle length lower bound

* https://www.sciencedirect.com/science/article/pii/0012365X9390052U?via%3Dihub