Benford's law for the $3x+1$ function
  We show that for most choices of an initial seed $x_0$, the sequence of the first $N$ iterates of $x_0$ under the $3x+1$ map approximately satisfies Benford's law. 
Jeffrey C. Lagarias and K. Soundararajan