I thought it was known for a long time that any function can be represented with a neural network with a single layer. It's an almost trivial finding if you think about it: imagine you have a steep step function that looks something like this: __/^^ with the non-zero derivative in a small range, e.g. 0.000-0.001 (or ϵ if you like). Let's call this f. You can piece together any function from these tiny pieces as ∑ᵢ cᵢ…
https://cognitivemedium.com/magic_paper/assets/Hornik.pdf
> infinite number of [activations]
I don't think you need an infinite number of them, there is a relationship between "how close you want to get" and "how many of them you need".