This is the boundedness criterion for a bilinear form. Since is continuous at , there are such that whenever and . For nonzero , apply this to
Linearity in each argument then gives
The same inequality is immediate if either vector is zero, so one may take .