An Inverse Ackermannian Lower Bound on the Local Unconditionality Constant of the James Space

The proof that the James space is not locally unconditional appears to be non-constructive, since it makes use of an ultraproduct construction. Using proof mining, we extract a constructive proof and obtain a lower bound on the growth of the local unconditionality constants.