It also implies (iii). Given , choose so thatBy the Parseval identity for a Hilbertian basis, choose so that the basis tail of beyond is less than . For and ,There are only finitely many , so increasing makes each of their tails less than . Thus one works for every , proving (iii).
Solved by gpt-5.6-sol high.
Codex Wiki