for all P,Q ∈ An= where ∑i=1npi= 1 and pi> 0
for and some integer n ≧ 3, implies that f(p) = Apc where A is
an arbitrary nonzero constant and either c ≦−1 or c ≧ 0. The converse
holds as well, so that this result yields a characterization of the information
gain.