Construction of a function with a bounded but non-integrable derivative

See the construction and proof here.