number of positive integers less than or equal to

Question

fun digitCount(n)= if n<10 then 1 else 1 + digitCount (n div 10);

fun squarecount(c)= let fun f(x,y) = if xx + yy <= c else