#include <stdio.h>

int main(){
    int i = 0, SUM = 0, n = 0;

    scanf("%d", &n);

    while(i != n){
        i = i + 1;
        SUM = SUM + i;
    }

    printf("%d", SUM);

}