#include <stdio.h>

int main() {
    int num=0;
    int ans=0;

    scanf("%d",&num);

    for(int i=1;i<=num;i++)
        ans+=i;

    printf("%d",ans);

    return 0;
}