#include <stdio.h>
void totalsum(){
int n,sum;
scanf("%d",&n);
sum=0;
for(int i=1;i<=n;i++){
sum+=i;}
printf("%d",sum);}
int main(){
totalsum();
return 0;}
I2luY2x1ZGUgPHN0ZGlvLmg+CgogICAgdm9pZCB0b3RhbHN1bSgpewogICAgICAgIGludCBuLHN1bTsKICAgICAgICBzY2FuZigiJWQiLCZuKTsKICAgICAgICBzdW09MDsKICAgICAgICBmb3IoaW50IGk9MTtpPD1uO2krKyl7CiAgICAgICAgICAgc3VtKz1pO30KICAgICAgICAgICBwcmludGYoIiVkIixzdW0pO30KICAgICAgICAgICBpbnQgbWFpbigpewogICAgICAgICAgICAgdG90YWxzdW0oKTsKICAgICAgICAgICAgIHJldHVybiAwO30KICAgICAg