Σ[i=2 to k]Σ[j=1 to i-1]1=C(k,2)

を上手く証明したい

普通に計算したら確かに成り立つんだけど

なんかいい手法ない？