ℓ0=n⁢(n+1),