>>382
fがA上積分可能の定義を書いたんで…。