結果 : functions of bounded variation in real analysis pdf