The behavior of the function under iteration is itself of interest. Let denote the set of all rational numbers having odd denominators, so that . The set consists of exactly those 2-adic integers whose 2-adic expansion is finite or eventually periodic. The Finite Cycles Conjecture is equivalent to the assertion that there is a finite odd integer