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