Feferman's function