In particular, K(s) ≥ n0 is true.
所以，K(s) ≥ n0 成立。