找出最小未出现自然数

现有如下问题，给一数组，该数组里的数是一些自然数（不重复），要求给出该数组中未出现的最小自然数。可以有时间复杂度O(n),空间复杂度O(1)的方法哦！

sample

array：3,5,7,87,4

return：0

array：0,4,1,7,5

return：2

暂贴代码如下，欢迎指正。

int func( int * Array,int ileft,int iright,int iReference )
{
    assert( Array!=NULL );    
    if ( ileft<iright )
    {
        int i,j,iDataend,iTemp;
        i = ileft-1;
        j = ileft;
        iDataend = Array[iright];
        for ( ;j<=iright;j++ )
        {
            if ( Array[j] <= iDataend )
            {
                iTemp = Array[++i];
                Array[i] = Array[j];
                Array[j] = iTemp;
            }
        }
        if ( Array[i] == i )
        {
            return func( Array,i+1,iright,Array[i] );
        }
        else
        {
            return func( Array,ileft,i-1,iReference );
        }
    }
    else
    {
        if ( iReference +1 == Array[ileft] )
        {
            return Array[ileft] + 1;
        }
        else
        {
            return iReference+1;            
        }
    }
}

void main()
{
    int Array[5] = { 4,67,3,87,5 };
    int iResult;
    iResult = func( Array,0,4,-1 );
    printf( "%d\n",iResult );
}

递归式为F(n) = F(n/2) + n