#include <bits/stdc++.h>
int main() {
  int n;
  scanf("%d", &n);
  int ans = 0, k = 1;
  for (int i = 1; i <= n - i + 1; i++) {
    ans += k + k * (i < n - i + 1);
    k++;
  }
  printf("%d\n", ans);
  return 0;
}
