#include <iostream>

int main(int argc, char** argv)
{
    int n;
    std::cin >> n;
    std::cout << (n * (n-1)) / 2;
    return 0;
}