Click and drag statements to prove that x3 is not Ou2 +4x+17) It follows that, x k. Then, xo s Ce +4x+ 17) s3C for all sufficiently large x. It follows that, > x2 when x 4. Let x4x +17 s3x3 for all x> 17 Therefore, * is not Ox* +4x + 17) so, x2 +4x+ 17 is O(x*), with witnesses C 3, k 17 Consider the constant C= 1 and k= 3, for which xa > 1 (xe + 4x + 17) when x = 4. For x s 3C, clearly impossible for the constant C to satisfy for all large x