min(tan(x)tan(y)tan(z)) s.t. sin(x)=2sin(y)sin(z), x+y+z=pi, x>0, y>0, z>0, x<pi/2, y<pi/2, z<pi/2