prod_(j=0)^(floor(20/n)) (20-j*n)