A Local Limit Theorem for the Distribution of Fractional Parts of an Exponential Function