Considering my answer for the question Solve $\cos(a)\cos(b)\cos(a+b) = -1/8$ for $0 < a,b < \pi/2$ I have thought to put
$$x=\tan(a), \quad y=\tan(b)$$
in the inequality
$$\tan (a)\cdot \tan (b)>1 \tag 1$$
I will have
$$xy>1 \tag 2$$
that the $(2)$ it is an equilateral hyperbola when $xy=1$. The crop zone done with Desmos is:
How can I find $a=b=\frac\pi3$?
Using instead Wolfram Alfa I will have many steps https://www.wolframalpha.com/input/?i=%5Ctan+%28a%29%5Ctan+%28b%29%3E1
Is it possible to find with my approach
$$a=b=\frac\pi3\quad ?$$
