1 - 2 * ( product from i=0,7 of (20-i)/20 )