pbinfo | varena | campion | timus | codeforces | atcoder |
#include <iostream> using namespace std; int main(){ unsigned long long n; cin>>n; cout<<n*(n-1)/2; return 0; }