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

signed main(){
  int N; cin >> N;
  cout << 1LL * N * N / 4 + N << endl;
  return 0;
}