файла не нашла,но исходя из того что вероятность заведомо величина неотрицательная, смущает немного оценочка... понятно, что неравенство дает неточную оценку, но это ж насколько она неточная?! о_О