Matemática · Funções, Logaritmos, Progressão aritmética, Progressão geométrica

Sejam $a_1$, $a_2$, $a_3$, $a_4$, $a_5$ números estritamente positivos tais que $\log_2 a_1$, $\log_2 a_2$, $\log_2 a_3$, $\log_2 a_4$, $\log_2 a_5$ formam, nesta ordem, uma progressão aritmética de razão $\dfrac12$. Se $a_1=4$, então o valor da soma $a_1+a_2+a_3+a_4+a_5$ é igual a