Erdős Lower Bound