naive recursive powers