Abstract It is well known that a real analytic symplectic diffeomorphism of the $2d$ 2 d -dimensional disk ( $d\geq 1$ ≥ 1 ) admitting origin as non-resonant elliptic fixed point can be formally conjugated to its Birkhoff Normal Form, formal power series defi...
