Résolution.
1. \boxed{D = ]1, +\infty[}, ζ est C∞ par convergence normale des séries dérivées sur [a,+∞[.
2. Par comparaison intégrale : ζ(x)∼∫1∞t−xdt=x−11.
3. ζ(x)−1=2x1+3x1+⋯=2x1(1+(32)x+…).
Le reste est O((32)x), donc \boxed{\zeta(x)-1 \sim 2^{-x}}.