2025-11-15T01:10:11.896463

On the Least Colossally Abundant Exception to Robin's Inequality

Zimov
Robin's Inequality posits $G(n)<e^γ$ for $n>5040$. Robin also showed that if the Riemann Hypothesis (RH) is false, then $G(n)>e^γ\left(1+\displaystyle\frac{c}{(\log n)^{b}}\right)$ for infinitely many values of $n$. By analyzing the prime or semiprime quotient $\displaystyle\frac{n}{m}$ for consecutive Colossally Abundant (CA) numbers $m$ followed by $n$ (where $m$ satisfies Robin's Inequality and $n$ violates it), we demonstrate that if the Riemann Hypothesis is false, then the least CA counterexample, $n$, must be constrained to the band $e^γ<G(n)<e^γ\left(1+\displaystyle\frac{c}{(\log n)^b}\right)$ where $0 < b < 1/2$, i.e. excluded from the infinite set beyond the higher threshold.
academic

On the Least Colossally Abundant Exception to Robin's Inequality

Basic Information

  • Paper ID: 2510.23889
  • Title: On the Least Colossally Abundant Exception to Robin's Inequality
  • Author: Bruce Zimov (Calimesa Research Institute, Calimesa, CA, USA)
  • Classification: math.NT (Number Theory)
  • Publication Date: October 27, 2025
  • Paper Link: https://arxiv.org/abs/2510.23889v1

Abstract

This paper investigates the relationship between exceptions to Robin's inequality and the Riemann Hypothesis. Robin's inequality asserts that for n>5040n > 5040, we have G(n)<eγG(n) < e^γ where G(n)=σ(n)nlog⁡(log⁡n)G(n) = \frac{σ(n)}{n \log(\log n)}. Robin also proved that if the Riemann Hypothesis is false, then there exist infinitely many nn such that G(n)>eγ(1+c(log⁡n)b)G(n) > e^γ(1 + \frac{c}{(\log n)^b}). By analyzing quotients nm\frac{n}{m} that are either prime or semiprimes between consecutive colossally abundant numbers (CA numbers) mm and nn, where mm satisfies Robin's inequality while nn violates it, this paper proves that if the Riemann Hypothesis is false, the smallest CA exception nn must be constrained within the band eγ<G(n)<eγ(1+c(log⁡n)b)e^γ < G(n) < e^γ(1 + \frac{c}{(\log n)^b}) with 0<b<1/20 < b < 1/2, thus excluding it from the infinite set described by Robin's theorem at higher thresholds.

Research Background and Motivation

1. Core Problem to be Solved

This paper investigates the structure of exceptions to Robin's inequality, particularly the upper bound constraints on the smallest colossally abundant number exception. Specifically:

  • Robin's Inequality: G(n)=σ(n)nlog⁡(log⁡n)<eγG(n) = \frac{σ(n)}{n \log(\log n)} < e^γ (for n>5040n > 5040)
  • This inequality is equivalent to the Riemann Hypothesis (RH)
  • If RH is false, there exist counterexamples violating this inequality

2. Problem Significance

  • The Riemann Hypothesis is one of the most important unsolved problems in mathematics
  • Robin established in 1984 the equivalence between the Riemann Hypothesis and a specific inequality
  • If one could prove the absence of colossally abundant number exceptions, the Riemann Hypothesis could be proved unconditionally
  • Understanding the structure of exceptions is crucial for determining the truth or falsity of the Riemann Hypothesis

3. Limitations of Existing Research

  • Akbary and Friggstad (2009) proved that the smallest exception must be a superabundant number
  • Broughan (2017) proved that if exceptions exist, they must be colossally abundant numbers
  • Robin (1984) proved that if RH is false, there exist infinitely many nn satisfying G(n)>eγ(1+c(log⁡n)b)G(n) > e^γ(1 + \frac{c}{(\log n)^b})
  • However, existing research has not determined whether the smallest exception belongs to this infinite set

4. Research Motivation of This Paper

By analyzing structural relationships between consecutive colossally abundant numbers (whose quotients can only be primes or products of two distinct primes), the paper derives precise upper bounds on the growth rate of the GG function from mm (satisfying the inequality) to nn (violating the inequality), thereby excluding the possibility that the smallest exception belongs to the infinite set described in Robin's theorem.

Core Contributions

  1. Main Theoretical Result: Proves that if the Riemann Hypothesis is false, the smallest colossally abundant number exception nn must satisfy: eγ<G(n)<eγ(1+c(log⁡n)b),0<b<1/2e^γ < G(n) < e^γ\left(1 + \frac{c}{(\log n)^b}\right), \quad 0 < b < 1/2
  2. Exclusion Result: Proves that the smallest CA exception cannot belong to the infinite set described in Robin's Theorem 7 (i.e., those numbers satisfying stronger lower bounds)
  3. Structural Analysis Method: By systematically analyzing all possible cases of quotients between consecutive CA numbers (four combinations of new primes, existing primes, and semiprimes), precisely determines the slowest decay term of the GG function's growth rate
  4. Asymptotic Analysis Technique: Establishes five key lemmas that precisely characterize the double logarithm ratio, relationships between prime factors and logarithms, and algebraic forms of abundance index ratios
  5. Theoretical Significance: Provides theoretical foundation for further narrowing the search space for exceptions, with potential value for ultimately proving or disproving the Riemann Hypothesis

Detailed Methodology

Task Definition

Let mm and nn be consecutive colossally abundant numbers where:

  • mm satisfies Robin's inequality: G(m)<eγG(m) < e^γ
  • nn violates Robin's inequality: G(n)≥eγG(n) ≥ e^γ
  • nn is the smallest colossally abundant number exception

Research Objective: Determine the upper bound of G(n)G(n) and judge whether nn could possibly belong to the infinite set in Robin's Theorem 7.

Theoretical Framework

Key Definitions

Colossally Abundant Number (CA number): A positive integer nn is a CA number if there exists an exponent ϵ>0ϵ > 0 such that for all positive integers kk: σ(k)k1+ϵ≤σ(n)n1+ϵ\frac{σ(k)}{k^{1+ϵ}} ≤ \frac{σ(n)}{n^{1+ϵ}}

Robin Function: G(n)=σ(n)nlog⁡(log⁡n)G(n) = \frac{σ(n)}{n \log(\log n)}

Foundational Theorem System

The paper relies on the following known results:

  1. Theorem 1 (Broughan 2017): If an exception to Robin's inequality exists, then a CA number exception exists
  2. Theorem 2 (Broughan 2017): The quotient Q=nmQ = \frac{n}{m} of consecutive CA numbers can only be a prime or a product of two distinct primes
  3. Theorem 5 (Alaoglu-Erdős 1944): For a superabundant number nn, the largest prime factor pp satisfies p∼log⁡np \sim \log n
  4. Theorem 7 (Robin 1984): If RH is false, let θθ be the supremum of the real parts of nontrivial zeros (θ>12θ > \frac{1}{2}). Then for any b∈(1−θ,12)b \in (1-θ, \frac{1}{2}), there exists a positive constant cc such that infinitely many nn satisfy: G(n)>eγ(1+c(log⁡n)b)G(n) > e^γ\left(1 + \frac{c}{(\log n)^b}\right)

Core Lemma System

Lemma 1: Asymptotic Behavior of Double Logarithm Ratio

For consecutive CA numbers mm and nn (with n>mn > m): log⁡(log⁡m)log⁡(log⁡n)=1+o(1)\frac{\log(\log m)}{\log(\log n)} = 1 + o(1)

Proof Strategy:

  • Set m=nQm = \frac{n}{Q} where QQ is a prime or semiprimes
  • By Theorem 5, log⁡Q=O(log⁡(log⁡n))\log Q = O(\log(\log n))
  • Using Taylor expansion: log⁡(1−x)=−x+O(x2)\log(1-x) = -x + O(x^2)
  • The error term log⁡Qlog⁡nlog⁡(log⁡n)→0\frac{\log Q}{\log n \log(\log n)} \to 0

Lemma 2: Relationship Between Prime Factors and Logarithmic Powers

For the largest prime factor pp of a CA number nn and fixed constant 0<b<1/20 < b < 1/2: (log⁡n)bp=O((log⁡n)b−1)\frac{(\log n)^b}{p} = O((\log n)^{b-1})

Key Proof Points:

  • From p=log⁡n(1+o(1))p = \log n(1 + o(1))
  • (log⁡n)bp=(log⁡n)b−1(1+o(1))\frac{(\log n)^b}{p} = (\log n)^{b-1}(1 + o(1))
  • Since b<1/2b < 1/2, we have b−1<0b-1 < 0, so this term tends to 0

Lemma 3: Accelerated Decay of Divisor Sum Function

(log⁡n)bpσ(pap)=o((log⁡n)bp)\frac{(\log n)^b}{pσ(p^{a_p})} = o\left(\frac{(\log n)^b}{p}\right)

Proof: Using σ(pap)≥1+pσ(p^{a_p}) ≥ 1 + p, the ratio 1σ(pap)→0\frac{1}{σ(p^{a_p})} \to 0

Lemma 4: Abundance Index Ratio for Single Prime Quotient

For nm=p\frac{n}{m} = p (single prime):

1 + \frac{1}{p} & \text{if } p \text{ is a new prime factor} \\ 1 + \frac{1}{pσ(p^{a_p})} & \text{if } p \text{ is an existing prime factor} \end{cases}$$ **Proof**: Using the multiplicative property of the $σ$ function #### Lemma 5: Abundance Index Ratio for Semiprimes Quotient For $\frac{n}{m} = pq$ (semiprimes), the abundance index ratio is the product of two single prime ratios, with four cases: 1. Both $p, q$ are new primes: $(1 + \frac{1}{p})(1 + \frac{1}{q})$ 2. $p$ new, $q$ existing: $(1 + \frac{1}{p})(1 + \frac{1}{qσ(q^{a_q})})$ 3. $p$ existing, $q$ new: $(1 + \frac{1}{pσ(p^{a_p})})(1 + \frac{1}{q})$ 4. Both $p, q$ existing: $(1 + \frac{1}{pσ(p^{a_p})})(1 + \frac{1}{qσ(q^{a_q})})$ ### Main Theorem Proof (Theorem 8) #### Proof Structure Uses **proof by contradiction**: Assume the smallest CA exception $n$ belongs to the infinite set in Theorem 7. #### Step 1: Determine Asymptotic Upper Bound of $G(n)/G(m)$ **Ratio Decomposition**: $$\frac{G(n)}{G(m)} = \frac{σ(n)m}{σ(m)n} \cdot \frac{\log(\log m)}{\log(\log n)}$$ **Key Analysis**: - Double logarithm term: By Lemma 1, $\frac{\log(\log m)}{\log(\log n)} = 1 + o(1)$ - Abundance index ratio: Need to find the slowest decay case **Identification of Slowest Decay Case**: - **Single new prime**: $\frac{σ(n)m}{σ(m)n} = 1 + \frac{1}{p} = 1 + O(\frac{1}{\log n})$ - **Existing prime**: $1 + \frac{1}{pσ(p^{a_p})} = 1 + O(\frac{1}{(\log n)^2})$ (faster decay) - **Two new primes**: $(1 + \frac{1}{p})(1 + \frac{1}{q}) = 1 + \frac{1}{p} + \frac{1}{q} + \frac{1}{pq} = 1 + O(\frac{1}{\log n})$ - **Mixed cases**: At least one term is $O(\frac{1}{(\log n)^2})$, overall not slower than $O(\frac{1}{\log n})$ **Conclusion**: The slowest decay rate is given by the single new prime case: $$\frac{G(n)}{G(m)} = 1 + O\left(\frac{1}{\log n}\right)$$ #### Step 2: Derive Contradiction **Upper Bound**: Since $G(m) < e^γ$, there exists a constant $C_1$ such that: $$G(n) < e^γ\left(1 + \frac{C_1}{\log n}\right)$$ **Lower Bound Assumption**: If $n$ belongs to the infinite set (Theorem 7), then: $$G(n) > e^γ\left(1 + \frac{c}{(\log n)^b}\right), \quad 0 < b < 1/2$$ **Necessary Condition**: For both to hold simultaneously requires: $$\frac{c}{(\log n)^b} < \frac{C_1}{\log n} \quad (*)$$ **Asymptotic Test**: $$\lim_{n \to \infty} \frac{\frac{c}{(\log n)^b}}{\frac{C_1}{\log n}} = \lim_{n \to \infty} \frac{c}{C_1}(\log n)^{1-b} = \infty$$ Since $0 < b < 1/2$, we have $1-b > 1/2 > 0$, so the limit tends to infinity. **Contradiction**: The lower bound term asymptotically exceeds the upper bound term, violating the necessary condition $(*)$. **Conclusion**: The smallest CA exception $n$ cannot belong to the infinite set in Theorem 7, and therefore must satisfy: $$e^γ < G(n) < e^γ\left(1 + \frac{c}{(\log n)^b}\right), \quad 0 < b < 1/2$$ ## Experimental Setup **Note**: This is a pure theoretical mathematics paper with no experimental component. All results are obtained through rigorous mathematical proofs. ### Theoretical Verification Foundation The paper relies on the following verified numerical results: - **Theorem 4** (Morrill-Platt 2018): Robin's inequality holds for all $5040 < n ≤ 10^{1013.099}$ - This provides a large-scale numerical verification foundation for theoretical analysis ## Experimental Results ### Main Theoretical Results **Theorem 8 (Main Result)**: If the Riemann Hypothesis is false, the smallest CA exception $n$ is constrained within the band: $$e^γ < G(n) < e^γ\left(1 + \frac{c}{(\log n)^b}\right), \quad 0 < b < 1/2$$ ### Significance of Results 1. **Exclusion Conclusion**: The smallest exception cannot belong to the infinite set in Robin's Theorem 7 2. **Tightened Upper Bound**: Compared to the lower bound in Theorem 7 of $e^γ(1 + \frac{c}{(\log n)^b})$, this paper provides more precise upper bound constraints 3. **Parameter Range**: The constraint holds for all values of $b$ with $0 < b < 1/2$, covering the important portion of the interval $(1-θ, \frac{1}{2})$ in Theorem 7 4. **Growth Rate Analysis**: Proves that the growth rate from $G(m)$ to $G(n)$ can only be $O(\frac{1}{\log n})$, which is determined by the structural properties of consecutive CA numbers ### Theoretical Findings 1. **Power of Structural Constraints**: The structural property that quotients of consecutive CA numbers can only be primes or semiprimes strictly limits the growth speed of the $G$ function 2. **Slowest Decay Term**: The single new prime case provides the slowest decay rate of $O(\frac{1}{\log n})$ 3. **Asymptotic Dominance**: Among all possible transition cases, the $\frac{1}{\log n}$ term asymptotically dominates the growth rate 4. **Secondary Role of Double Logarithm Term**: The term $\frac{\log(\log m)}{\log(\log n)} = 1 + o(1)$ has negligible effect on the overall growth rate ## Related Work ### Historical Development 1. **Robin (1984)**: - Established the equivalence between Robin's inequality and the Riemann Hypothesis - Proved that if RH is false, there exist infinitely many exceptions satisfying a strong lower bound 2. **Alaoglu-Erdős (1944)**: - First systematic study of colossally abundant numbers - Proved that the largest prime factor $p \sim \log n$ - Proved that quotients of consecutive superabundant numbers tend to 1 3. **Nicolas-Erdős (1975)**: - In-depth study of the distribution of superabundant numbers 4. **Lagarias (2002)**: - Proposed an elementary problem equivalent to the Riemann Hypothesis - Provided new perspectives on Robin's inequality 5. **Akbary-Friggstad (2009)**: - Proved that the smallest exception must be a superabundant number (Theorem 3) - Important foundation for this paper's work 6. **Broughan (2017)**: - Systematically summarized arithmetic propositions equivalent to the Riemann Hypothesis - Proved that if exceptions exist, they must be CA numbers (Theorem 1) - Proved the structure of quotients of consecutive CA numbers (Theorem 2) 7. **Morrill-Platt (2018)**: - Numerically verified Robin's inequality over an extremely large range - Extended verification range to $10^{1013.099}$ ### Innovations of This Paper 1. **First Precise Characterization of Upper Bound for Smallest Exception**: Previous work focused mainly on the existence of exceptions and necessary conditions. This paper is the first to provide upper bound constraints on the smallest exception 2. **Systematic Structural Analysis**: By exhaustively analyzing all possible cases of quotients of consecutive CA numbers, determines the precise upper bound of the growth rate 3. **Exclusion of Infinite Set**: Proves that the smallest exception cannot be a member of the infinite set described in Robin's Theorem 7, a previously unknown result 4. **Methodological Contribution**: Demonstrates how to utilize structural properties of CA numbers to constrain the behavior of the Robin function ## Conclusions and Discussion ### Main Conclusions 1. **Core Theorem**: If the Riemann Hypothesis is false, the smallest colossally abundant number exception $n$ must satisfy: $$e^γ < G(n) < e^γ\left(1 + \frac{c}{(\log n)^b}\right), \quad 0 < b < 1/2$$ 2. **Exclusion Result**: The smallest CA exception cannot be a member of the infinite set described in Robin's Theorem 7 3. **Growth Rate Bound**: The growth rate of the $G$ function from $m$ (satisfying the inequality) to $n$ (violating the inequality) is strictly limited to $O(\frac{1}{\log n})$ 4. **Structure Determinism**: The structural property of quotients of consecutive CA numbers (can only be primes or semiprimes) is the fundamental reason for this constraint ### Limitations 1. **Conditional Results**: All conclusions are based on the premise that "the Riemann Hypothesis is false." If RH is true, no exceptions exist 2. **Non-constructive**: The paper does not provide specific exceptions or numerical ranges for exceptions, only theoretical constraints 3. **Restriction to CA Numbers**: Conclusions apply only to colossally abundant number exceptions. Although Theorem 1 guarantees that exceptions, if they exist, must be CA numbers, the paper's methods depend on the special structure of CA numbers 4. **Undetermined Constants**: The constant $c$ in the upper bound is not explicitly given, only its existence is proved 5. **Parameter Range**: The range $0 < b < 1/2$ for $b$, while covering an important region, does not include cases where $b ≥ 1/2$ 6. **Existing Gap**: Space remains between $e^γ$ and $e^γ(1 + \frac{c}{(\log n)^b})$, and the precise location of the smallest exception is unknown ### Future Directions Potential research directions suggested by the paper: 1. **Further Tightening of Upper Bound**: Can a tighter upper bound than $e^γ(1 + \frac{c}{(\log n)^b})$ be found? 2. **Constant Determination**: Can the value of constant $c$ be explicitly calculated? 3. **Extension of Parameter Range**: Can the results be extended to cases where $b ≥ 1/2$? 4. **Numerical Search Strategy**: Can the theoretical results guide more efficient numerical search strategies? 5. **Other Number Classes**: Can similar methods be applied to other special number classes (such as superabundant but non-CA numbers)? 6. **Lower Bound Improvement**: Can the location of the smallest exception be further constrained from below? ## In-Depth Evaluation ### Strengths #### 1. Theoretical Innovation - **Novel Results**: First to provide upper bound constraints on the smallest CA exception, filling a theoretical gap in the field - **Exclusion Proof**: Cleverly proves through contradiction that the smallest exception cannot belong to a certain infinite set - **Methodological Contribution**: Demonstrates how to systematically utilize structural properties of CA numbers to constrain the Robin function #### 2. Rigor of Proof - **Complete Lemma System**: Establishes 5 carefully designed lemmas, each with clear proofs - **Exhaustive Case Analysis**: Systematically analyzes all possible cases of prime/semiprimes quotients - **Precise Asymptotic Analysis**: Provides precise Big-O and little-o characterizations of asymptotic behavior of each term - **Appropriate Proof by Contradiction**: Derives contradiction through analysis of limiting behavior #### 3. Logical Clarity - **Clear Hierarchy**: From basic definitions to lemmas to main theorem, the logical chain is clear - **Explicit Proof Steps**: The proof of the main theorem is divided into two clear steps - **Standard Notation**: Mathematical notation is standard and consistent #### 4. Literature Integration - **Effective Use of Known Results**: Effectively integrates relevant work from 1944 to 2018 - **Accurate Citations**: Each used theorem is clearly attributed to its source - **Sufficient Background**: Provides necessary historical and theoretical background for readers ### Weaknesses #### 1. Limitations of Method - **Dependence on Special Structure**: The method highly depends on special properties of CA numbers, difficult to generalize to general cases - **Non-constructive**: Does not provide specific location of exceptions or numerical range estimates - **Undetermined Constants**: The constant $c$ in the upper bound lacks specific value, limiting practical utility #### 2. Limited Results - **Strong Conditions**: All conclusions are based on the assumption that "RH is false" - **Insufficiently Tight Constraints**: Considerable space remains between $e^γ$ and the upper bound - **Restricted Parameter Range**: The restriction $b < 1/2$ prevents coverage of all cases #### 3. Technical Details - **Lemma 2 Proof**: The use of $p = \log n(1 + o(1))$ is somewhat rough and could be more precise - **Slowest Decay Argument**: The argument that "single new prime gives slowest decay" could be more systematic - **Error Term Handling**: Treatment of $o(1)$ terms in some places could be more meticulous #### 4. Presentation Issues - **Lack of Intuitive Explanation**: Some highly technical proofs lack geometric or intuitive explanation - **Missing Examples**: No specific numerical examples illustrating the theoretical results - **Missing Figures**: Graphs could be used to show the constraint band for $G(n)$ ### Impact Assessment #### 1. Contribution to the Field - **Theoretical Progress**: Provides new theoretical tools for research on Robin's inequality and the Riemann Hypothesis - **Constraint on Exception Space**: Significantly narrows the search space for potential exceptions - **Method Demonstration**: Shows how to use number-theoretic structures to constrain function behavior #### 2. Practical Value - **Guidance for Numerical Search**: Theoretical results can guide more efficient numerical verification strategies - **Exclusion Strategy**: Provides theoretical basis for excluding certain numbers from being exceptions - **Limited but Important**: While not directly proving RH, provides important constraints for related research #### 3. Reproducibility - **Pure Theoretical Proof**: All results are mathematical proofs, in principle completely reproducible - **Dependence on Known Results**: All used theorems have clear literature sources - **Verifiable Logic**: Proof steps are clear and can be verified step by step #### 4. Potential Impact - **Short-term**: May inspire more research on the structure of CA numbers - **Medium-term**: May lead to improvements in strategies for searching Robin's inequality exceptions - **Long-term**: Provides one piece of the puzzle for ultimately solving the Riemann Hypothesis ### Applicable Scenarios #### 1. Theoretical Research - **Riemann Hypothesis Research**: Provides tools for scholars studying the equivalence between RH and Robin's inequality - **Analytic Number Theory**: Valuable for scholars researching asymptotic behavior of divisor sum functions - **Special Number Classes**: Reference value for scholars studying properties of CA numbers and superabundant numbers #### 2. Numerical Computation - **Exception Search**: Can guide computer search strategies for Robin's inequality exceptions - **Verification Algorithms**: Provides theoretical basis for designing verification algorithms - **Exclusion Strategy**: Can be used to exclude certain numbers from being the smallest exception #### 3. Educational Applications - **Advanced Number Theory Courses**: As a case study of Robin's inequality and RH equivalence - **Asymptotic Analysis**: As an example of asymptotic analysis techniques application - **Proof Techniques**: Demonstrates applications of proof by contradiction and case analysis #### 4. Inapplicable Scenarios - **Elementary Number Theory**: Too technical, unsuitable for beginners - **Applied Mathematics**: Pure theoretical results lacking direct applications - **General Function Growth**: Methods highly dependent on CA number structure, difficult to generalize ## References Key references cited in the paper: 1. **Akbary & Friggstad (2009)**: "Superabundant numbers and the Riemann Hypothesis", Amer. Math. Monthly - Proved that the smallest exception must be a superabundant number 2. **Alaoglu & Erdős (1944)**: "On highly composite and similar numbers", Trans. Amer. Math. Soc. - First systematic study of CA numbers, established foundational theory 3. **Broughan (2017)**: "Equivalents of the Riemann Hypothesis Volume One" - Systematically summarized arithmetic propositions equivalent to RH 4. **Erdős & Nicolas (1975)**: "Repartition des nombres superabondants", Bull. Soc. Math. France - In-depth study of the distribution of superabundant numbers 5. **Lagarias (2002)**: "An Elementary Problem Equivalent to the Riemann Hypothesis", Amer. Math. Monthly - Proposed an elementary problem equivalent to RH 6. **Morrill & Platt (2018)**: "Robin's inequality for 25-free integers", arXiv preprint - Numerically verified Robin's inequality over an extremely large range 7. **Robin (1984)**: "Grandes valeurs de la fonction sommes des diviseurs et hypotheses de Riemann" - Established the equivalence between Robin's inequality and RH --- **Overall Assessment**: This is a highly technical pure mathematics paper that achieves meaningful theoretical progress in research on Robin's inequality and the Riemann Hypothesis. The paper's main value lies in being the first to provide upper bound constraints on the smallest CA exception and proving that it cannot belong to a specific infinite set. The proof is rigorous, the logic is clear, and it fully utilizes the structural properties of CA numbers. Although the results are conditional (based on RH being false) and the constraints are not yet tight enough, they provide important theoretical tools for further research. The paper is suitable for number theory researchers, particularly those studying the Riemann Hypothesis and special number classes.