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