「有界閉集合上の連続な関数は可積分」「積分の強単調性」【解析学の基礎シリーズ】積分編 その12 https://for-spring.com/analysis/integration-12/