>>782
上のについては努力はなされてるんじゃないのかな。
下のは特に問題があるとは思えない。2乗して負になる実数はないってのと同じようなことだし。