Prove that: lim_(n→+∞) [ ln^2 (n)−2∫^( n) _( 0) ((lnt)/( (√(1+t^2 )))) dt ]= (π^2 /6)+ln^2 (2)