>>9は細かいこと言うと∞=∞ではないことを確認する必要ある