>>57

× 全ての自然数nに対して