Stationary phase lemmas for general functions

We give some details about the stationary phase lemma. We first prove a special case where the high order terms are derived explicitly. Based on that, we prove a more general case by using Morse lemma.