tijie

#include<bits/stdc++.h>
using namespace std;
int main(){
    int x;
    cin>>x;
    int a[100001];
    a[1]=2;
    for(int i=2;i<=x;i++){
        a[i]=a[i-1]+i;
    }
    cout<<a[x];
    return 0;
}