Talk:Differentiably finite function