Altering finitely many terms of the sequence $u_n$ does not affect the validity of (9).
All the evidence points to the validity of the conjecture.
Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z