A lower bound for scheduling mechanisms · Study