a=input(0)-1;printf("%d",a*(a-1)/2)