Function evaluating F(a)