#include <bits/stdc++.h>

using namespace std;
using ll = long long;

int main(){
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);

    double N, K;
    cin >> N >> K;
    cout << N*0.5 << endl;

    return 0;
}