>>28
一応「単調増加」だけだと駄目やでー
{x | f'(x)=0}が離散集合じゃなきゃダメやでたぶん