1+3a^2は全ての実数aについて1以上