0 ≤ k ≤ j