Fix $0 < c < 1/3$. Show that there exists a strictly increasing sequence $a_k > 0$ and a sequence $b_k \geq 0$ such that \begin{align} \begin{array}{ll} b_k = 2c a_k - 100 \log a_k > 0 & \text{for infinitely many $k$} \\ b_k = 0 & \text{otherwise} \end{array} \end{align} and the following hold for all sufficiently large $k$: \begin{align} \label{1}\tag{1} a_k > a_{k-1} + \log a_{k-1} + b_k \\ \label{2}\tag{2} 3c a_{k} > 2k + b_k + 2\sum_{i=1}^{k-1} b_i \\ \label{3}\tag{3} a_{k-1} > (1-2c)a_{k} + \sum_{i=1}^{k-1} b_i \end{align} Notice the conditions are competing. (1) and (2) are saying $a_k$ should grow quickly. While (3) is saying $a_k$ should not grow too quickly. To get an idea of what's going on and to suggest that this isn't totally impossible, consider the simpler problem where $b_k = 0$ for all $k$. If $b_k = 0$ for all $k$, it is clear that $a_k = k^2$ satisfies (1),(2),(3) for all large enough $k$. It seems intuitive to me that if choose $b_k = 2c a_k - 100 \log a_k$ on a rapidly growing sequence $k = k_j$, and possibly adjust $a_k$ a little bit when $k=k_j$, then we can still get (1),(2),(3) to hold. But I am having a lot of trouble making this rigorous.