ChatGPT - Lower bound for λ