saddle-point approximation