How do infinite width bounded norm networks look in function space?

We consider the question of what functions can be captured by ReLU networks with an unbounded number of units (infinite width), but where the overall network Euclidean norm (sum of squares of all weights in the system, except for an unregularized bias term for each unit) is bounded; or equivalently what is the minimal norm required to approximate a given function. For functions f : R → R and a single hidden layer, we show that the minimal network norm for representing f is max(´ |f⁰⁰(x)| dx, |f⁰(-∞) + f⁰(+∞)|), and hence the minimal norm fit for a sample is given by a linear spline interpolation.