もしどちらの関数も非負であるなら、積関数 "fg" もまた "x"0において上半連続である。