I'm having trouble determining the correct way (if there is one) to find the witnesses in any given big O problem.
The example I'm struggling with: $2^x + 17$ is $O(3^x)$.
I am expected to find two witnesses such that $2^x + 17 \leq C(3^x)$ whenever $x > k$.
Unfortunately, my textbook isn't very clear on how to actually find them and rather suggests to more or less guess until you get both constants to work. It is to my understanding that if one pair exists, infinitely many do.
How do you find these?