#include<bits/stdc++.h>
int recur(int s,int x){
    if(s==0) return x;
    return recur(s-1,s+x);
}
main(){
    int n;
    std::cin>>n;
    std::cout<<recur(n,0);
}