αが0以上であるべき条件ってこと?