有名な交代級数（交項級数）1-1/2+1/3-1/4+…がlog2に収束することを証明します。巧妙な式変形と区分求積法を用います。