DefineThe hypothesis makes everywhere defined. The dual is Banach even when is incomplete. If in and in , then coordinatewise convergence gives , so the graph of is closed. The closed graph theorem therefore givesTaking the supremum over the unit ball proves the required finite bound.
Solved by gpt-5.6-sol high.
Codex Wiki