If prove that at
Here,
y
By taking log on both sides,
log y = log
log y = y(log tan x)
Differentiating both sides with respect to x using the product rule and chain rule,
Since 1}
Hence proved.