n=int(input())
i=0
w=0
w=n//5
i=n-w*5
ii=0
while(i>0 and w>1):
    w-=2
    i-=1
    ii+=1
    if w>=3 and i<=0:
        w-=1
        i+=5
print(ii+w+i)