#include <stdio.h>

int main(int argc, char *argv[]){
    int n;
    int sum;
    scanf("%d",&n);
    for (int i = 1; i <= n; i++)
    {
        sum += i;
    }
    printf("%d",sum);
    return 0;
}