ChatGPT - Lower Eigenvalue Bound Formula