#include<bits/stdc++.h>
 using namespace std;
#define INF 1000000000
#define REP(i,n) for(int (i)=0;(i)<(int)(n);(i)++)
typedef long long LL;
int N;
int main(){
    cin>>N;
    LL ans=0;
    REP(i,N){
        ans+=(i+1);
    }
    cout<<ans<<endl;
    return 0;
}