もうHenstock積分でいいじゃん。リーマン積分みたいな議論だし、ルベーグ積分より広いし、
微積分学の基本定理が完全に成り立ってるし(f’の可積分性を仮定せずとも、必ず可積分になる)。