#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}

int main() {
	printf("%.11f\n", (double) ri() / 2);
	return 0;
}