円をつかったsinx<x<tanxの証明をどう思う?