Approximation of fixed points of compact mappings