prod_(k=1)^0 1234