Solution
= Solution
Let $N_m=|\{i:c_i=m\}|$. The label likelihood for the <mixture weights> is proportional to $\prod_{m=1}^3\pi_m^{N_m}$. Multiplication by the $\operatorname{Dirichlet}(\alpha_1,\alpha_2,\alpha_3)$ density and <Dirichlet-multinomial conjugacy> gives
$$
(\pi_1,\pi_2,\pi_3)\mid y,c,f
\sim\operatorname{Dirichlet}(\alpha_1+N_1,\alpha_2+N_2,\alpha_3+N_3).
$$
Conditional on the labels, the observations and component means provide no further information about $\pi$.