@nm  Have you tried a fresh session, and just the simplify commant (no interface(...), restart etc)?

@acer How did you know that

sum( (sum(1/k,k=1..n-1) + 1/n) /n/(n+1), n=1..infinity );

will work? I wouldn't have suspected it!

@nm I meant systematic algorithms. Of course, some empirical algorithms do exist.
Have you tried my example with mma?

@janhardo  A^2 = B^2  does NOT imply A = B.

@sursumCorda PDETools:-Solve works (a bit slower)  without subs too:
PDETools:-Solve(eq,  trial_solution_constants, 'independentof' = t);

@mmcdara Carl has already answered:  (z^(1/n))^n = z by definition of z^(1/n)  for n a nonzero integer.

The problem was caused when I tested "Maple for Screen Readers" (for using the old GUI). At the end, I turned off the "Screen Readers" mode, but for some reason, in the Gui configuration file the entry  "AccessibleMode=true" was left unchanged. After setting manually to "false", the display is normal again.

@dharr Thank you. So, I am not alone.

@dharr Windows 10. So, have you tried to export as .mpl or .tex ?

@acer As this site shows, there are many Maple users interested in typesetting. 
In this case I think It would be a good idea for Maple to include support for LaTeX (see e.g. Geogebra).

@janhardo Why don't you post your code?

@Carl Love The limit is for sqrt(n/3) * f(n,x)  as requested, not for f(n,x) (which is obviouosly 0).

limit( sqrt(n/3)*asympt('rsolve'({f(0) = a, f(n) = sin(f(n - 1))}, f(n)), n), n=infinity );

        1

@Alfred_F  Maple is only able to guess the limit:

Download Jacobi-vv.mw

@Carl Love 

arctan(2/n^2) = arctan(n+1) - arctan(n-1)

Telescoping sum ==>
sum( 2/n^2), n=1..N )  = -Pi/4 + arctan(N) + arctan(N+1) --> -Pi/4 + 2*Pi/2 = 3*Pi/4.
 

@Alfred_F The point (1,1) does not matter, the monotone convergence condition is a.e. (almost everywhere).