.
Need to find n0, c1, and c2, such that
c1 = 5, c2 = 7, n0 = ...
Note: Implications go up. That is, we want to find something at the bottom that will logically imply the statement we're starting with.
So, n0 = 3 suffices.