Lower bound for the coercivity constant

Class:
Algorithmic Task