有界変動関数どうしの積