Finished proof on central derivative bounds of Lambda_E