Fenchel–Moreau_theorem loading ...