In http://www.uni-hamburg.de/fachbereiche-einrichtungen/fb03/iwwt/makro/slides2.pdf page 8, lagrangian is written as follow: $$L = E_0 \sum_{t=0}^{\infty}\beta^t\{U(C_t,N_t) + \lambda_t(P_tC_t + Q_tB_t - B_{t-1}-W_tN_t+T_t)+\psi_t(\lim_{T \to \infty} B_T)\}$$ where bond $B_t$ has solvency condition $\lim_{T \to \infty} B_T \geq 0$. In page 9 then all first-order conditions are derived, but I don't see anything related to $\psi_t$ and solvency condition. Why can the first-order condition relating to $\psi_t$ be dropped?