Leko
says to
YSITD
= n(n+1)/2