#include <stdio.h>

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