The following pages link to Derivation of backward graininess for T=nth root of nonnegative integers: