print(int(open(0).read().split()[0])/2)