product_(i=2)^0 i