(product (9999(k+1)/(1000+999k)), k=0 to (n-1))