| Currently FriCAS can not evaluate fricas (1) -> limit(sum(n^(-2), 
 Type: Union("failed", where correct result is'%pi^2/6', i.e.  The result is  fricas riemannZeta(2) 
 Type: Expression(Integer) but ATM FriCAS can do very little with it. See also text from 1997: A Critique of the Mathematical Abilities of CA Systems | 

 .
. , which in
, which in 