関数の極限(和差積商)を証明しよう! https://for-spring.com/analysis/limis-of-functions-3/