Maximizing dimension for Bernoulli measures and the Gauss map

We give a short proof that there exists a countable state Bernoulli measure maximizing the dimension of their images under the continued fraction expansion.