Prove by induction on $n$ that $ 2^nā1 $ solves the recurrence
$H_n =\begin{cases}0, &\text{if $n=0$}\\[6px] 2H_{n-1}+1,&\text{otherwise}\end{cases}$
I know the base case would be when $n = 0$, $H_n = 0$, but how would you do the inductive case and the rest of the proof?