cp's OEIS Frontend

As A093544 contains the odd numbers not of form 12k+9, we map from modulo 12 to modulo 5: 1->0, 3->1, 5->2, 7->3, 11->4.

This sequence is a permutation of all numbers not congruent to 4 (mod 6) (A047256).

This sequence has no finite cycles other than (2,1) under recursion, because of all cycles of permutation A093545(n), only one cycle (2,1) is without any number congruent to 4 (mod 6). See section "formula" first entry here. After a finite number of recursions it will reach only numbers divisible by 3 under further recursion.

m = a(n) is the smallest solution to A014682(m) = n.

If we define f(n) = 2*n and j(n) as an arbitrary recursion into a(n) and/or f(n) ( two examples: j(n) = a(a(n)) or j(n) = a(f(a(n))) ), then for all m, k and n = A014682^k(m), exists a j(n) that allows m = j(n). "^k" means recursion here.

Proving the Collatz conjecture could be done by proving that for all positive integers m, a function j(n) (see first comment) could be designed such that m = j(1). All numbers greater than 4 can be reached by a^k(6*p - 2) with exactly one p and k. The Collatz conjecture cannot be true if 3*p - 1 = a^k(6*p - 2) exists.