PASS tan(pi/7) is a root of t^6 - 21 t^4 + 35 t^2 - 7
PASS smallest positive root of that polynomial equals tan(pi/7) = 0.481574618808
PASS tan(pi/5) = sqrt(5 - 2 sqrt 5)
PASS tan(pi/8) = sqrt 2 - 1
PASS tan(pi/3) = sqrt 3, tan(pi/4) = 1, tan(pi/6) = 1/sqrt 3
lambda = 0.554953486817 ; mu = 0.890093026365 ; c_H = 0.07446575455794907873414 ; 1/c_H = 13.4289917014
PASS lambda = 0.55495348681..., mu = 0.89009302636...
PASS c_H = 0.07446575455794907873... (20 digits)
PASS 1/c_H = 13.42899...
PASS Steinerberger's printed 0.074465754 agrees with c_H to all printed digits
PASS c_H/3 = 0.024821918 < 0.03 and 3*0.03 - c_H = 0.015534245 > 0.0155
PASS kappa = 0.6204...; hexagon of area a has circumradius kappa sqrt a: area = (3 sqrt3/2) R^2 (kappa = 0.62040324)
RESULT PASS
