For the sequence $a_n=2a_{n-1}+1$ where $a_0=1$
Show that $a_n>2^n$ using induction.
Use proof by contradiction (minimum counterexample).
Attempt: 1. I assume, that $a_n>2^n$ as my induction hypothesys. Now, I try to show that $$a_{n+1}>2^{n+1} \\ 2a_{n}+1>2^{n}*2 \\ a_n+1/2>2^n$$ and I am stuck and dont know how to proceed.
2$.$ Let set $S=(n\in Z_+: a_n\le 2^n)$ be a set of counterexamples. Let $m$ be the smallest element of $S$, then $m-1 \notin S$. Then, I try to produce a contradiction $$a_{m-1}\le2^{m-1} \\ a_{m}\le 2^m+1$$ and again I am stuck. Help apreciated. Thanks.