We have
`((tan x + sqrt(3))^(2)+4)((cot y-sqrt(3))^(2)+5) le 20`
Now, `L.H.S. ge 20`.
Therefore, we must have
`(tan x+sqrt(3))^(2)=0 and (cot y-sqrt(3))^(2)=0`
`rArr tan x=-sqrt(3) and cot y=sqrt(3)`
`rArr tan x=-sqrt(3) and tan y=1/sqrt(3)`
`rArr x=n pi-pi/3, n in Z` and `y=mpi+pi/6, m in Z`