And x2, x3.
Two Real Solutions of-x 2+x =-2x1
Meet x2*x3=-2x 1.
X 1∈(0, 1/8)
So x1* x2 * x3 =-2x12 ∈ (-1/32,0).