>>287
他のことでは証明した
実解析の性質を知っている人なら複雑な議論を要することを知っている