stationary phase approximation derivation