Uma função é definida recursivamente como . Sendo , o valor de é