Bounds for the 3x+1 problem using difference inequalities Ilia Krasikov; Jeffrey C. Lagarias — 2003 Acta Arithmetica