See if you can prove that K-means always converges. [Hint: find a physical analogy and an associated Lyapunov function.] [A Lyapunov function is a function of the state of the algorithm that decreases whenever the state changes and that is bounded below. If a system has a Lyapunov function then its dynamics converge.]