#include "bits/stdc++.h"
using namespace std;

int a,b;

int main(){
    cin>>a;
    b=a*(a+1)/2;
    cout<<b<<endl;
    return 0;
}