Deep neural network expressivity for optimal stopping problems | Synapse