if n is the product of all the integers from 5 to 20 , inclusive , what is the greatest integer k for which 2 ^ k is a factor of n ?
n0 = 5.0
n1 = 20.0
n2 = 2.0
t0 = 1.0 + 3.0
t1 = t0 + 1.0
t2 = n2 + t1
t3 = t2 + 1.0
t4 = t3 + 4.0
t5 = t4 + 1.0
answer = n2 + t5
print(answer)