On biconjugates of infimal functions

We deliver formulae for the biconjugate functions of some infimal functions that hold provided the fulfilment of weak regularity conditions of both closedness and interiority types. As special cases, we obtain biconjugates of infimal convolutions of finitely many functions, of optimal value functions of both constrained and unconstrained optimization problems as well as of marginal functions associated with multifunctions (that can be, for instance, convex processes) and some given functions. Moreover, we rediscover or extend different results on biconjugate functions from the literature.