Fixed the formula to bound z_A.