The answers are as follows: these arguments are correct, the indicated function is not needed.
Indeed, your argument might as well prove that for all $H_1$,…,$H_n$, and $H$ such that $c_F(H_1,…,H_n)≤c$, you have $∥P_n⋯P_2P_1−P_0∥≤g_n(c)$. Quantifying over a collection of sets is perfectly legitimate even if this collection of sets forms a proper class. There is no need to mention the set $A_n(c)$ at all, it only creates further confusion.