Another way to look at it that doesn't require a convergence proof is to show that ℕ = S, where S = {1} ∪ {n×2 : n∈S} ∪ {(n-1)÷3 : n∈S ∧ n-1|3}.