alors donc

alors, pour tout n, donc

alors et, comme , on en déduit que .

La suite ( ) converge simplement sur vers la fonction f définie par