prod_fun