analytic inequalities, noiseless coding theorem