Some days ago, I learned the concept of LCM (least common multiple). I've played with it for several times and I want to make a big number with it.

But I also don't want to use many numbers, so I'll choose three positive integers (they don't have to be distinct) which are not greater than *n*. Can you help me to find the maximum possible least common multiple of these three integers?
The first line contains an integer *n* (1 ≤ *n* ≤ 10<sup class="upper-index">6</sup>) — the *n* mentioned in the statement.
n=int(input())
prostyy=[]
prostyy.append(2)
flag=True
for i in range(3,n+1): 
    for ii in range(len(prostyy)): 
        if i%prostyy[ii]==0: 
            flag=False
            break
    if flag==True:
        prostyy.append(i)
    flag=True
if prostyy[-1]<prostyy[-2] and prostyy[-3]>prostyy[-1]:
    maxi=prostyy[-1]
elif prostyy[-2]<prostyy[-1] and prostyy[-3]>prostyy[-2]:
    maxi=prostyy[-2]
else:
    maxi=prostyy[-3]
i=0
while i*maxi<n:
    i+=1
print((i-1)*prostyy[-1]*prostyy[-2]*prostyy[-3])