n ≥ 0