stationary phase approximation