Solvability of equations in elementary functions

摘要

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