integrate 12!/10! * x(1-x)^10 from x=0.08333 to 0.1