数学的帰納法は有限の時に使うもので無限の自然数に対しては使わないだろ