This is not true in general. In fact, given any strictly positive, convex, decreasing, summable $a_n$, I can construct a convex, decreasing, non-summable $b_n$ so that $\frac{a_n}{b_n} \not\to 0$.
Defining $(b_n)$
The method will be to select certain points in the graph of the sequence $(a_n)$, and form a sequence of points $(b_n)$ that linearly interpolate these points. By choosing these points carefully, we can ensure that $b_n$ is not summable, but it should retain the convexity requirement. At these points, obviously $\frac{a_n}{b_n} = 1$, which precludes the limit of the ratio being $0$.
First, choose $n_0 = 0$, and take $b_{n_0} = b_0 = a_0$.
Now, suppose $k \ge 0$, and assume we have defined already $n_0, \ldots, n_k$ such that all the following properties hold:
- $n_{i+1} > n_i$,
- $(n_{i+1} - n_i)(a_{n_{i+1}} + a_{n_i}) \ge 2$,
for all $i = 0, \ldots, k - 1$.
Choose:
$$n_{k+1} \ge n_k + \frac{2}{a_{n_k}}.$$
Clearly, $n_{k+1} > n_k$, satisfying property 1, and
$$(n_{k+1} - n_k)(a_{n_{k+1}} + a_{n_k}) \ge (n_{k+1} - n_k)a_{n_k} \ge 2.$$
Thus, property 2 is satisfied, and we can recursively choose an entire sequence $(n_k)_k$ satisfying these properties.
We then define $(b_n)$ as a linear interpolation of these points. Specifically, given fixed $n \in \Bbb{N}$ let $k$ be the unique natural number such that $n_k \le n < n_{k+1}$, and define
$$b_n = \frac{n - n_k}{n_{k+1} - n_k}a_{n_{k+1}} + \frac{n_{k+1} - n}{n_{k+1} - n_k}a_{n_k}. \tag{1}$$
Proving $(b_n)$ works
Clearly $(b_n)$ is a positive sequence; at every point it is a convex combination of a sequence of positive numbers: $(a_{n_k})$. We need to show $(b_n)$ is decreasing, convex, and not summable.
To show $(b_n)$ is decreasing, fix $n \in \Bbb{N}$, and let $k \in \Bbb{N}$ such that $n_k \le n < n_{k+1}$. If $n+1 < n_{k+1}$, then using $(1)$,
$$b_{n+1} - b_n = \frac{a_{n_k} - a_{n_{k+1}}}{n_{k+1} - n_k} > 0.$$
This also holds true when $n + 1 = n_{k+1}$. Either way, the sequence is decreasing.
Now we show convexity. Clearly, from the above calculation, if we choose $n$ so that $n_k \le n < n + 2 \le n_{k+1}$, then
$$b_n - b_{n+1} \ge b_{n+1} - b_{n+2}, \tag{2}$$
and in fact, the two sides are equal.
Otherwise, $n + 1 = n_{k+1}$ for some $k$, and so
\begin{align*}
b_n &= \frac{n - n_k}{n_{k+1} - n_k}a_{n_{k+1}} + \frac{n_{k+1} - n}{n_{k+1} - n_k}a_{n_k} \\
b_{n+1} &= a_{n_{k+1}} \\
b_{n+2} &= \frac{n + 2 - n_{k+1}}{n_{k+2} - n_{k+1}}a_{n_{k+2}} + \frac{n_{k+2} - n - 2}{n_{k+2} - n_{k+1}}a_{n_{k+1}}.
\end{align*}
Note: this still holds even if $n + 2 = n_{k+2}$. In this case, we get
\begin{align*}
b_{n+1} - b_n &= \frac{a_{n_k} - a_{n_{k+1}}}{n_{k+1} - n_k} \\
b_{n+2} - b_{n+1} &= \frac{a_{n_{k+1}} - a_{n_{k+2}}}{n_{k+2} - n_{k+1}}.
\end{align*}
Now, using the convexity of $a$,
\begin{align*}
a_{n_k} - a_{n_{k+1}} &= \sum_{i = n_k}^{n_{k+1} - 1} (a_i - a_{i+1}) \\
&\ge (n_{k+1} - n_k)(a_{n_{k+1}-1} - a_{n_{k+1}}) \\
&= (n_{k+1} - n_k)(a_{n-1} - a_n).
\end{align*}
This is due to the fact that minimum term in the sum is the last term. That is,
$$b_{n+1} - b_n \ge a_{n-1} - a_n.$$
Similarly, still using the convexity of $a$, but now bounding with the largest term of the corresponding sum,
$$b_{n+2} - b_{n+1} \le a_n - a_{n+1}.$$
Thus $(2)$ holds, once again, by the convexity of $(a_n)$. That is, in any case, $(b_n)$ is convex.
Finally, we just need to show $(b_n)$ is not summable. We have,
\begin{align*}
\sum_{n=0}^\infty b_n &= \sum_{k=0}^\infty \sum_{i=n_k}^{n_{k+1}-1} b_i \\
&= \sum_{k=0}^\infty \sum_{i=n_k}^{n_{k+1}-1} \left(\frac{i - n_k}{n_{k+1} - n_k}a_{n_{k+1}} + \frac{n_{k+1} - i}{n_{k+1} - n_k}a_{n_k}\right) \\
&= \sum_{k=0}^\infty \left(-a_{n_{k+1}} + \sum_{i=n_k}^{n_{k+1}} \left(\frac{i - n_k}{n_{k+1} - n_k}a_{n_{k+1}} + \frac{n_{k+1} - i}{n_{k+1} - n_k}a_{n_k}\right) \right) \\
&= \sum_{k=0}^\infty \left(-a_{n_{k+1}} + \frac{a_{n_{k+1}} + a_{n_k}}{n_{k+1} - n_k}\sum_{i=0}^{n_{k+1} - n_k} i \right) \\
&= \sum_{k=0}^\infty \left(-a_{n_{k+1}} + \frac{a_{n_{k+1}} + a_{n_k}}{n_{k+1} - n_k} \cdot \frac{1}{2}(n_{k+1} - n_k)(n_{k+1} - n_k + 1) \right) \\
&= \sum_{k=0}^\infty \frac{1}{2}(a_{n_k}-a_{n_{k+1}} + (a_{n_{k+1}} + a_{n_k})(n_{k+1} - n_k)).
\end{align*}
Using the second defining property of $(b_n)$, we therefore have
$$\sum_{n=0}^\infty b_n \ge \sum_{k=0}^\infty \frac{1}{2}(a_{n_k}-a_{n_{k+1}} + 2) > \sum_{n=0}^\infty 1 = \infty.$$
