Simons. On the Nonexistence of $2$-cycles for the $3x+1$ Problem. no. 251, American Mathematical Society (AMS), Dec. 2004, doi:10.1090/s0025-5718-04-01728-4.