>>300
TANとCOSの2乗の差をとり COSだけの式にする。
COS40＞COS45
＞(-1+√5)/2
だから無事比較できる。