p5の例3で、多項式に順序をいれるところで、an > 0のときf > 0と書いてありますが、これだとf = xが > 0になってしまいます。