>逆に、有界集合A上の有界関数fがA上可積分であるときには
は、∃fの意味で書いてます