Altering finitely many terms of the sequence un does not affect the validity of (9).
All the evidence points to the validity of the conjecture.