Du vermutest richtig.
Σ_(j=1)^n j = 1 + 2 + 3 + .... + n
Das ist eine arithmetische Reihe. Es resultiert (n+1)*n/2.
Daher:
an = n/2 - 1/(n+2) * (n+1) * n/2
= n/2 ( 1 - (n+1)/(n+2))
= n/2 ( (n+2)/(n+2) - (n+1)/(n+2))
= n/2 ( (n+2 - n - 1)/(n+2))
= n/2 ( 1/(n+2))
= 1/2 * n / (n+2)
= 1/2 * 1/(1 + 2/n)
Grenzwert n-> unendlich
= 1/2 * (1/(1+0)) = 1/2.