#include <bits/stdc++.h>
#include <vector>
using namespace std;

int main(){
    int N;
    scanf("%d",&N);
    printf("%d",(N+1)*(N+2)/2);
}