edited intro and section 2; added lower bound result to section 2