結果 : function of bounded variation in real analysis