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