 One-arm extension estimate

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