We consider the mixing proportion π in a mixture of two independent distributions, and establish the expression of its posterior density, in closed form and in terms of L 1-norms of various related functions, using a prior ...