>>665
inf_k fk(x) >=a ⇔ fk(x) >=a, ∀k

なにがわからんの