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

int main()
{
    int N,ans;scanf("%d",&N);ans=N;
    for(int i=1;i<N;i++)ans+=i;
    printf("%d",ans);
}