#include<bits/stdc++.h>
using namespace std;
int n;
int main()
{
    scanf("%d",&n);
    printf("%d",n*(n+1)/2);
    return 0;
}