Esta es una respuesta parcial. Supongamos que usted ha $n$ dólares para empezar. Entonces usted puede comprar inicialmente, $n$ botellas de cerveza. Esto le da a usted $n$ de las botellas vacías, las cuales usted puede realizar el cambio hacia la $n/2$ nuevas cervezas. El nuevo cervezas en vez de darle a $n/2$ botellas vacías, los cuales usted puede cambiar hacia la $n/4$ botellas nuevas.
Ignorando el hecho de que el número de botellas son valores enteros, a una primera aproximación tenemos un número total de
$$n + n/2 + n/4 + n/2 + \cdots = 2n$$
las botellas. Desde que comenzó con $n=10$, esta aproximación le dará $20$ total de botellas, que está muy cerca de su actual valor de $19$. El error proviene del hecho de que debemos redondear hacia abajo al entero más cercano en cada paso
$$n + \left\lfloor n/2 \right\rfloor + \left\lfloor n/4 \right\rfloor + \left\lfloor n/8 \right\rfloor + \cdots$$
Esta serie puede (tipo de) ser escrito en forma cerrada. Está dada por
$$n + \left\lfloor n/2 \right\rfloor + \left\lfloor n/4 \right\rfloor + \left\lfloor n/8 \right\rfloor + \cdots = 2n-s_n$$
donde $s_n$ es el número de $1$s en la base-$2$ representación de $n$.
Para nuestro caso, $10=(1010)_2$, por lo que el $s_{10}=2$, y tenemos $2n-s_n = 18$. De nuevo, esto no es exacto, ya que nos olvidamos de la cuenta de resultados cuando tomamos las plantas. Esto sirve como un límite inferior para nosotros. Todo esto hasta ahora muestra que el número real de botellas de $B(n)$ está delimitado por encima y por debajo de
$$2n-s_n \le B(n) \le 2n.$$
Desde $s_n \in \mathcal{O}(\log_2(n))$, $B(n) \sim 2n$ $n\rightarrow \infty$ (para los bebedores pesados).
Puede ser difícil obtener un grano más fino respuesta de este, ya que dependerá de las propiedades de la divisibilidad de $n$. Por ejemplo, tendremos $B(2n) = 2n-1$ exactamente para $n=2^k$. Ciertamente, no esperar una buena forma cerrada fórmula para $B(n)$.