>>837はすれ違いじゃね？
ちなみに、a^2≧3⇒-√3≧a，a≧√3