kleiner GaussBy Markelic / March 13, 2021 $\nchoosek{n}{k}$ \sum_{1\leq i < j \leq n }^n={n\choose{2}}=n(n-1)/2
