let n = read_int ();;
print_int (n * (n + 1) / 2)