best constant, Mircea's inequality, Sylvester's resultant, discriminant sequence, nonlinear algebraic equation system