Explorations
Nothing to see here. Give it a week or two...
But in the meanwhile, please enjoy this probability density function of a random Beta distribution (with an 80% credible interval marked):
Beta(3.00, 1.00) with 80% Credible Interval
The PDF of