oktw
says to
#ysitd
<petjelinux>: (x^2-25)^0.5 > x-1