User blog comment:ArtismScrub/Generalizing the fast-growing hierarchy towards positive real heights/@comment-26454151-20180127054841/@comment-1605058-20180127064232

No, f_2 is not differentiable at integer points.