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