NaNを無限と言い換えて数学的な議論をするしかない