#include <stdio.h>

int main() {
    int n,a=0;
    long long b=0;
    scanf("%d",&n);
    while(a<=n)
    {
        b+=a;
        a++;
    }
    printf("%lld",b);
    return 0;
}