Pour tout x de , donc .

La suite ( ) converge simplement sur vers .