「ax^2+bx+c=0が解を持つためにはb^2-4ac≧0でなければならない」
を英語でなんと言うのでしょうか?