[nitpick] actually it is x * (x - 1) / 2 in this case [/nitpick]