1: \begin{proof}

2: The form of the minimizer in \eqref {eq:entropy_ansatz} can be derived formally

3: using standard Lagrange multiplier techniques.  However, a rigorous proof

4: requires more technical arguments which can be found, for example, in

5: \cite{Junk-2000} for the Maxwell-Boltzmann entropy and applied directly to the

6: current setting.  Once the existence of a minimizer is found, the other

7: properties can be verified, as is done in

8: \cite{Dubroca-Feugas-1999,Levermore-1996}

9: \end{proof}

10: