#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;

int main() {
  ll n;
  cin >> n;
  ll k = (n + 1) / 2;
  cout << k * (k + 1) / 2 << endl;
  return 0;
}