For all 1 ≤ j ≤ iα we have β - j ≥ β - iα ≥ α so we get