Beta/binomial Conjugate model

when B(n,p)

$a,b \in \mathbb_{Z}$

For the improper Beta open bracket 0 comma 0 close bracket prior, provided that at least one success and one failure are observed, the posterior is a proper beta density.