#include <cstdio>
int main () {
    int N;
    scanf("%d", &N);
    printf("%d\n", N*(N+1)/2);
}