Find the domain of the function
f(x) = log2(log3(log4/π(tan–1x) –1))
We have
Also, f(x) is defined only when x > 0