Talk:Tarski's exponential function problem