stationary phase approximation proof