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

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