#import<iostream>
main(int a){std::cin>>a;std::cout<<a*a++/2;}