Σ_{j<L} digit_j (S+1)^j ≤ m · n^(c+1), c = clog_m (S+1): polynomially many calls · Prove2Me

P

Initializing...

Σ_{j<L} digit_j (S+1)^j ≤ m · n^(c+1), c = clog_m (S+1): polynomially many calls · Prove2Me