#include<bits/stdc++.h>

using namespace std;
double n, res = 0.00;

int main() {
    cin >> n;
    res = n * n / 4;
    printf("%.2f", res);
    return 0;
}