Tan20Tan30tan40tan60tan80 = sqrt(3)