Le forum de XCAS

simplify(sum(ln((n^2+3n+2)/(n^2+3n)),n=1..+infinity))
ne permet pas d'obtenir le ln(3) attendu. Maple y arrive.

C'est un peu comme les intégrales, il y a surement plein d'améliorations possibles pour traiter encore plus de cas, mais il faut avoir le temps et l'envie de les implémenter!