Chapter19 (v7) Lower bounds