Every odd number below 6725 reaches one under the Syracuse map

Let $T$ be the Syracuse map, sending $n$ to the odd part of $3n+1$. For every odd $m$ with $1 \le m \le 6724$ there is a $k \ge 0$ with $T^k(m) = 1$.

This is a finite verification. The $3362$ odd starting values below $6725$ have orbits meeting $5258$ distinct odd numbers in total, the largest being $2717873$, and every one of those orbits terminates at $1$.

Its role is to supply the small-value input to the margin criterion for excluding Syracuse cycles: combined with the fact that a periodic point whose orbit reaches $1$ must equal $1$, it shows no nontrivial Syracuse cycle contains a value below $6725$, which in turn excludes every cycle of period at most $199$.