sum (-1)^(x+1) productlog(-lnx)/lnx from x= 2 to 2000