Ontify
Inequality that holds for every complex-valued bilinear form defined on the Banach space of scalar sequences that converge to zero.