One-arm probability ($\pi (r)$)

The one-arm probability $\pi (r)$ is the probability that a specified vertex has an open path to distance $r$.

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

RSW rectangle crossings and positive association join two separated one-arm events with probability bounded below uniformly over scale.