Partial intro and partial lower bound proof added