Exponential decay of subcritical percolation (source code)

= Exponential decay of subcritical percolation

Below the percolation threshold, the probability that a fixed vertex has an open path to graph distance $n$ is at most $Ce^{-cn}$ for positive constants $C,c$.