 Peierls argument

A Peierls argument bounds a rare large defect by encoding it as a contour, estimating the number of contours of each size, and summing their exponentially small probabilities.