K-means with k = 3 alternates two steps: each point joins its nearest centroid, then each centroid moves to the mean of its points. Neither step can raise WCSS = ∑ |xᵢ − c(xᵢ)|², since the mean minimises summed squared distance. The sum only falls, and with finitely many