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