α<tanαの不等式って名前ついてました?