[amelius]

Instead of using Pi wouldn't it be better to choose a number for which the conjecture is true?

And for which the index is easy to compute?