>>190
仰る通りです
limがあろうが無かろうが恒等式は成り立つのかなぁ・・・と