1/(x*y)<=z where x>0, y>0
z>=prod_inv([x,y]) or geo_mean([x,y,z])>=1
z>=prod_inv([x,y])
geo_mean([x,y,z])>=1
thank you very much,