Proving the Collatz Conjecture: A Weak Lyapunov Model Based on Logarithmic Energy Functions | Synapse