その証明で極限を使うのはなんか反則な気がしないでもない。