\(H - \sum A_i \leq 0\) なら Yes である.