c，且满足a<b<c，试证明采用短作业优先算法调度能获得最小的平均周转时间