Total sequences and the lower frame inequality
arXiv:2507.04899
Abstract
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.
2 pages; proof simplified (v2)