https://123dok.net/document/y6e8oe1g-montrer-fonction-fm-convexe-coercive-admet-minimum.html