YSITD_TG_Bot says to #ysitd
<petjelinux>: f(x)=x^2+x+1 ∃x∈R f(x)>0