Solvability of equations in elementary functions

Abstract

We prove that the equation $\tan (x)-x=a$ is unsolvable in elementary functions

8 pages, SZU, MIPT, HSE