main(i){scanf("%d",&i);printf("%d",--i*(i-1)/2);}