A sanity check is a fast test of an answer against a property it must have: a bound, a unit, a sign, a symmetry, a limiting case, a small case that can be computed by hand, or an order of magnitude from a second route. It cannot prove an answer right; it can prove an answer wrong in seconds.
Examples
Example 5.6 (A range check)
“What is the chance of at least one six in six rolls?” The quick answer fails the range check at once: the event is not certain, since all six rolls can miss. The union bound overcounts the overlaps; the complement gives .
Example 5.7 (A limit check)
A candidate proposes for the volatility of a two-asset portfolio with weights and equal volatilities . Setting the correlation to 1 must return , since the assets are then the same; the formula does not depend on the correlation at all, so it is the answer for correlation 0 only.