import sys readline=sys.stdin.readline write=sys.stdout.write D=int(readline()) D//=2 ans=D//2*(D-D//2) print(ans)