>>675
「For some n」の部分が論理式に直せていませんので0点です