#define _GLIBCXX_DEBUG
#define ll long long
#include <bits/stdc++.h>
using namespace std;
using Graph = vector<vector<int>>;

int main(){
  int D; cin >> D;
  int ans = 0;
  for(int i = 1; i <= 10000; i++){
    for(int j = 1; j <= 10000; j++){
      if((i+j)*2 <= D) ans = max(ans, i*j);
    }
  }
  cout << ans << endl;
}