 Laplace's method with multiple global maxima

If a Laplace integral has finitely many separated nondegenerate global maxima with the same phase value, its leading term is the sum of their local Gaussian contributions. An interior maximum contributes a full Gaussian integral, while a stationary endpoint maximum contributes half of one.