import sys
readline = sys.stdin.readline
N, K = map(int, readline().split())
print(N/2)