無限積Πa_n が収束するなら必ずa_n→1になります