>>730でいいのですが、>>727は極大性を示したことにはなっていませんよ。