sinAsinBsinC≤{1/3(sinA+sinB+sinC)}^3