# How can I find a general term for this sequence

$$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$$