尤度関数は、(π^y)  * ( (1-π)^(n-y)) となる。

尤度関数と事前分布の積は、事後分布に比例。

事後分布は確率分布となるので、積分結果は１。

そこから、比例定数が定まる。 => ベータ関数