Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I also have a proof of the general case, and have started to add it. It should also extend to a more general result where $f$ is also allowed to depend non-differentiably on time.