#include <iostream>

int main() {
    int n, ans = 0;
	std::cin >> n;
	
	for (int i=n; i>0; i--) {
	    ans += i;
	}
	
	std::cout << ans << std::endl;
	
	return 0;
}