finished CLT, modulo Levy continuity