Python String Length Recursion Definition