「積分の線形性と単調性を証明しよう!」【解析学の基礎シリーズ】積分編 その2 https://for-spring.com/analysis/integration-2/