Proof of the (local) angular momentum–mass inequality for axisymmetric black holes