tan(1/2) > cos(1)

これの証明はどうすれば出来ますか?