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