We prove that the perpetual American put option price of an exponential Lévy process whose jumps come from a compound Poisson process is the classical solution of its associated quasi-variational inequality, that it is C except at the stopping boundary and that it is C everywhere (i.e. the smooth pasting condition always holds). We prove this fact by constructing a sequence of functions, each o...