  Fast polarization is an important and useful property of polar codes. It was
proved for the binary polarizing $2 \times 2$ kernel by Arikan and Telatar. The
proof was later generalized by Sasoglu. We give a simplified proof.
