Define: $\operatorname{li}(x)=\int_{0}^{x}\dfrac{1}{\log(t)}\operatorname{d}t$.
When does the following statement fail?
With $\theta = 1 + \frac{1}{\operatorname{li}(x)}$, for $x \ge x_0$,
$\operatorname{li}(x^\theta) - \operatorname{li}(x) \ge 1$.
In particular, is there any values which fail with $x > 2$?
If you notice a relationship with Firoozbakht's conjecture, great.
Note: $\pi(x) \sim \operatorname{li}(x)$.