The squared distance has the diagonal identity
The diagonal excess is nonnegative and decreases with time. Therefore
Using the identity supplied in the question gives
At the right side is at most , up to the immaterial integer rounding. Thus

Articles by others on the same topic (0)

There are currently no matching articles.