I've had a thought about the Collatz conjecture (the 3n+1 problem).
Suppose some number, C, diverges under the iteration. We first note that C must be odd because if C were even it would be halved immediately, and so $\frac {C}{2}$ would be the lowest.
Take some arbitrary power of 2, $2^a, a>1$, and let us perform the iteration on $2^a +1$
$2^a+1$ is odd, so we go to $3*2^{a}+4$, then to $3*2^{a-1}+2$ and to $3*2^{a-2}+1$
Since we observe that $3*2^{a-2}+1 < 2^{a}+1$, C cannot be of the form $2^a+1$.
Now suppose we have some number n which definitely goes to 1. We now perform the Collatz iteration on $2^{a}+n$. The parity of this number is identical to the parity of n.
If we were to perform 3n+1, then we would have $3*2^{a}+3n+1$
Indeed, since the parity of the number is determined by n, the iteration (i.e. whether we triple and add one or halve) is identical to that of n.
If we say there are $\alpha$ '3n+1's and $\beta$ '$\frac{n}{2}$'s, this gives us the expression
$\frac{3^{\alpha}}{2^{\beta}}*2^{a}+1 < 2^{a}+1 < 2^{a}+n$ (provided $\frac{3^{\alpha}}{2^{\beta}}<1$)
We know this is the same iteration which n must undergo, and we know that when n is iterated, we will arrive at the following:
$\frac{3^{\alpha}}{2^{\beta}}n+k=1 > \frac{3^{\alpha}}{2^{\beta}}n$
Where k is some positive constant dependent on the order of the iterations. This implies that $\frac{3^{\alpha}}{2^{\beta}}<1$.
So, as we had with the case n=1, provided that n goes to 1, $2^{a} +n$ goes to 1.
Now suppose we had verified the case of the collatz conjecture for some small numbers; say 1 and 3. Not only is it true for n=1 & 3, but it is also true for 5,7,9,11,17,19, etc.
And since it is true for 1,3,5,7... it must be true for 9,11,13 and 15, from which we can say it is true for 17,19,21 and so on for all odd whole numbers.
And therefore our number C at the start is neither odd nor even, and so there is no smallest number which diverges to infinity. In fact, if we say that C could be the smallest element in a cycle then we would also have a contradiction.
Is this legit? I've probably made an error somewhere, but I figured it was worth putting it on here since it might get some attention. Thank you for your time.
UPDATE: It has been pointed out that there is a flaw in the argument. Specifically, that we have assumed that a, the power on 2, Is larger than $\beta$ when, in general, it is not. The consequence of this is that certain numbers, specifically those of the form $2^{a}-n$ where a is any integer greater than 1 and n is either 1, 5 or 17. For example, if we take $2^{4}-5=11$, we have:
$2^{4}-5 \rightarrow 3*2^{4}-14 \rightarrow 3*2^{3}-7 \rightarrow 3^{2} * 2^{3}-20 \rightarrow 3^{2} * 2^{2}-10 \rightarrow 3^{2} * 2^{1}-5 \rightarrow 3^{3} * 2^{1}-14 \rightarrow 3^{3}-7 $
Apologies for the rather messy notation but it helps us to see what is going on. First of all, we see that 4 has been reduced to nothing without us learning very much about the number (certainly not whether it decreases). We also note that in the 1st and 6th terms 5 appears on the end - this is because when we extend the iteration into negative integers, there are more cycles than 1-2-4, and their smallest elements are precisely -1, -5 and -17.