#include <stdio.h>

int main(){
    int n,i,s;
    scanf("%d",&n);
    for (i=1;i<=n;i++){
        s+=i;
    }
    printf("%d",s);
    return 0;
}