誤解されるレスをしてしまいましたが、正確には、ck<qk-1となる全てのkに対して
式Iが成り立つということです。
今までは、ck≠qk-1でしたが、ck<qk-1に修正しました。