\title{Positive square I}
\author{Gang Xiao}
\email{xiao@unice.fr}
\language{en}
\options{nofloat}
\methods{ineq/rewrite, ineq/simpdeduc, ineq/mulexp, ineq/divexp,
ineq/trans, ineq/obvineq, ineq/addineq, ineq/mulineq,
ineq/splitineq
}
\minsteps{4}

\text{x=random(a,b,c,d,r,s,t,x,y,z)}
\integer{a=random(2..50)*random(2,-2)}
\integer{b=random((\a)^2/4+1..(\a)^2/4+50)}
\text{empty=}

\function{left=\x^2}

\goal{\left >= 0}
\text{oldgoal=\goal}

\statement{Please show \(\oldgoal) for \(\x in RR).
}

