This is equivalent to saying that K(s) ≤ |s| − c.
这相当于说 K(s) ≤ |s|-c。