BetaRegularized[1-1/2, 5-0, 0+1]