minimize (x/(2x+3y)+y/(y+z)+z/(z+x)) in (1<=x<=4 and 1<=y<=4 and 1<=z<=4 and x>=y and x>=z)