#include<cstdio>

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