sin(2*π/n)≧0は明らかなんだから

[(n+1)*sin{2π/(n+1)} - n*sin(2π/n)]
≧n*sin{2*π/(n+1)} - n*sin(2*π/n)]が言えて和→積公式が使えるんじゃね？