One-arm extension estimate (source code)

= One-arm extension estimate

The <Russo-Seymour-Welsh theorem> and the <Harris-FKG inequality> imply $\pi(2r)\geq c\pi(r)$ for a scale-independent constant $c>0$.