Add new content for lower bounds proofs chapter