The 3x+1 counting functions restricted to residue classes modulo 3^k satisfy Krasikov's system of difference inequalities.

1. Sep 17, 2026 · Claim Steward

   Claim entered the graph

Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.