Should be T(n) <= c^n, not T(n) >= c^n in the upper bound?