# Use IVT to prove that arctan(x) = ln (x) has a solution for some x?

Study this function : $x\mapsto \arctan(x)-\ln(x)$.