This is still not true. The smallest counterexample is given by $n=30$ with $\nu_2(w_{30}) = 10$ and $2s(31)-3=7$. This can be easily verified by computing $w_n$ modulo $2^{11}$.
Max Alekseyev
- 34.3k
- 5
- 74
- 152