>>130
>最大値があるとは言えませんよ

まあ、じゃ下記で

最大値 max(Af(x)) = m (m∈R) とおけば、Af(x) <= m
 ↓
最大値 lim sup (Af(x)) = m (m∈R) とおけば、Af(x) <= m