Total sequences and the lower frame inequality

We prove that every total sequence in a Hilbert space satisfies the lower frame inequality after scaling. This solves A. Kulikov’s “exercise” at mathoverflow.