#include<bits/stdc++.h>

using namespace std;

int main(){
    double N, K;
    cin >> N >> K;
    
    cout << N * 0.5 << endl;
    
    return 0;
}