In this paper, we show that the constant 3 in Solovay's inequality, relating the negative logarithm of the a priori probability and Kolmogorov complexity for the problems of enumerating finite sets, can be replaced by the constant 2.