We prove the 3x-1 conjecture by the same method used for the Collatz conjecture: the complete odd-to-odd map strictly decreases for all sufficiently large odd integers, forcing every trajectory into one of the three known cycles.
Shengxing He (Sat,) studied this question.