Benford's law for the $3x+1$ function

Jeffrey C. Lagarias, K. Soundararajan

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.