We give an upper bound for the number of functionally independent meromorphic first integrals that a discrete dynamical system generated by an analytic map f can have in a neighborhood of one of its fixed points. This bound ...