An optimal lower bound for anonymous scheduling mechanisms