See here
Related market: https://manifold.markets/Floffinou/is-the-strong-exponential-time-hypo?r=RmxvZmZpbm91