This pertains to an explanation of Big-O notation:
If one pair of witnesses is found, then there are infinitely many pairs. We can always make the k or the C larger and still maintain the inequality f(x) <= Cg(x)
Any pair C' and k' where C < k' and k < k' is also a pair of witnesses since whenever x > k̍ > k.
What does that apostrophe character about the Cs and Ks mean exactly?