Prove that for $\alpha\in (0,\pi/2)$ we have \[ \tan(\alpha)-\tan\left(\frac{\alpha}{2}\right)+\tan\left(\frac{\alpha}{4}\right)- \tan\left(\frac{\alpha}{8}\right)+\ldots\geq \tan\left(\frac{2\alpha}{3}\right).\]