$$a_0=a_0\in \mathbb N_{>0}$$ $$a_{n+1}=\left \lceil\cfrac{a_n}2\right \rceil$$
This question has a relationship with this problem I posted but both can be solved independently, so please it's not a duplicate.
$$a_0=a_0\in \mathbb N_{>0}$$ $$a_{n+1}=\left \lceil\cfrac{a_n}2\right \rceil$$
This question has a relationship with this problem I posted but both can be solved independently, so please it's not a duplicate.
We have $$a_n = \left\lceil\frac{a_0}{2^n}\right\rceil$$