平面凸集合に関して，周の長さＬが一定で面積Ａが最大の図形は円である
という事実から「円周<外接多角形の周の長さ」が得られるので、
これでsin(x)<tan(x)を言うってのはダメなの？