Before revision:  In a general spectrally negative Levy model, we rigorously derive an analytic solution for the investor's optimal exercise strategy.
After revision:  In a general spectrally negative Levy model, we rigorously derive the optimal exercise strategy.