Lower bound

Summary