I have a clustering algorithm which works iteratively like K-means, but there are some constraints on cluster sizes with lower and upper thresholds.

Do you know any convergence proofs of K-means in general? Would they be applicable in the case of this alternative algorithm?