User blog comment:D57799/Some discoveries and guesses about uparrow notation/@comment-5307762-20150128141343/@comment-5307762-20150128142015

simply linear approximation is enough, though it's not differentiable at some points.