Provable wavelet-based neural approximation