#include<stdio.h>
int main(void){
    int a,b=0;
    scanf("%d",&a);
    for(int i=1;i<=a;i++)
    {
        b+=i;
    }
    printf("%d",b);
    return 0;
}