#include <bits/stdc++.h>
using namespace std;
int main(){
double N;
cin>>N;
printf("%.10f\n", N/2);




}