>>35
定義?
強いて言えばf''(x)<0 ?

これだと循環論法になりかねない気が