Let \(X\) be a Banach space and consider the non-linear mapping \(F : X \to X\) defined by
\[F(x) = y - \alpha \sin (\|x\|)x,\]
where \(y \in X\) is fixed and \(\alpha \) is a scalar. Show that there is a constant \(C > 0\) such that for any \(|\alpha | < C, F\) is a contraction on the open ball of radius 1 centered at \(y\). Note: You may use that for any \(a, b \in \mathbb {R}\) we have \(|\sin (a) - \sin (b)| \le |a - b|\).