[math-fun] Conjecture about the distribution of nontrivial powers.