# coding: utf-8
# Your code here!
import sys
readline = sys.stdin.readline
read = sys.stdin.read



n,k = [int(i) for i in read().split()]

print(n/2)