Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation