Axiom:Axioms of Uncertainty/Axiom 1

Axiom
$H_n$ fulfils the following axiom:
 * $\map {H_n} {p_1, p_2, \ldots, p_n}$ is a maximum when $p_1 = p_2 = \dotsb = p_n = \dfrac 1 n$