Find infimum of the given functional