#include <cstdio>

int main(int argc, char* argv[]){
    int N;
    scanf("%d", &N);
    N = ((N + 1) * N) / 2;
    printf("%d", N);
    return 0;
}