Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-generatedSession-authored (Fable 5 assisted)precheck passverified 2026-08-03 (gpt-5.6-sol-codex-subscription)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The ratio ι(Dn)/ι(n!)\iota(D_n)/\iota(n!) computed for small nn as a quotient of two counts, with no probability space claimed

Example

For nNn \in \mathbb{N} consider the real number

rn  :=  ι(Dn)ι(n!),r_n \;:=\; \frac{\iota(D_n)}{\iota(n!)},

the quotient of the count of derangements of an nn-element set (The derangement number DnD_n: the number of bijections of an nn-element set with no fixed point) by the count of all its bijections, Bij(n)=n!\lvert\operatorname{Bij}(n)\rvert = n! (The factorial n!n! and the falling factorial nkn^{\underline{k}}, defined by recursion in N\mathbb{N}). The quotient is legitimate because n!0n! \ne 0. Dividing the derangement formula by ι(n!)\iota(n!) gives

rn  =  i<n+1(1)iι(i!),r_n \;=\; \sum_{i<n+1}\frac{(-1)^{i}}{\iota(i!)} ,

so rnr_n is the truncated alternating sum itself. Its first values, obtained from D0=1D_0 = 1, D1=0D_1 = 0, D2=1D_2 = 1 and the first recurrence ι(Dn)=ι(n)ι(Dn1)+(1)n\iota(D_n) = \iota(n)\iota(D_{n-1}) + (-1)^{n} (ι(Dn)=ι(n)ι(Dn1)+(1)n\iota(D_n) = \iota(n)\,\iota(D_{n-1}) + (-1)^{n} for n1n \ge 1, and Dn=(n1)(Dn1+Dn2)D_n = (n-1)(D_{n-1} + D_{n-2}) for n2n \ge 2), are

nnDnD_nn!n!rnr_n
00111111
11001100
2211221/21/2
3322661/31/3
449924243/83/8
55444412012011/3011/30
6626526572072053/14453/144

This is a ratio of two counts and nothing else. Nothing among this page's declared prerequisites defines a probability space, a measure or an expectation, so rnr_n is not called a probability here and no statement about random behaviour is made. What is asserted is exactly that the numerator counts the fixed-point-free bijections, that the denominator counts all of them, and that the quotient is the displayed alternating sum.

Facts & Assumptions

Given: The derangement numbers DnD_n, the factorials n!n!, and the canonical natural ι\iota (The canonical natural ι(n)=n1F\iota(n) = n \cdot 1_F of a field).

[L1]

The derangement formula: ι(Dn)=ι(n!)i<n+1(1)i/ι(i!)\iota(D_n) = \iota(n!)\sum_{i<n+1}(-1)^{i}/\iota(i!) (ι(Dn)=ι(n!)i<n+1(1)i/ι(i!)\iota(D_n) = \iota(n!)\sum_{i<n+1}(-1)^{i}/\iota(i!), with the term at i=0i = 0 equal to 11 and D0=1D_0 = 1).

[L4]

R\mathbb{R} is an ordered field, so division by a nonzero element is available and the displayed arithmetic is legitimate (Ordered field, Field); (1)p+1=(1)p(-1)^{p+1} = -(-1)^{p} and (1)0=1(-1)^{0} = 1 (Integer powers ama^m); and real finite sums obey the recursion clause (Finite sums and finite products, by recursion, Laws of finite sums and finite products).

[L5]

Factorials: 0!=10! = 1, 1!=11! = 1, 2!=22! = 2, 3!=63! = 6, 4!=244! = 24, 5!=1205! = 120, 6!=7206! = 720 (The factorial n!n! and the falling factorial nkn^{\underline{k}}, defined by recursion in N\mathbb{N}).

Verification

technique · direct
1.1

The quotient form. Dividing the identity of [L1] by the nonzero ι(n!)\iota(n!) gives rn=i<n+1(1)i/ι(i!)r_n = \sum_{i<n+1}(-1)^{i}/\iota(i!) for every nNn \in \mathbb{N}.

L1L2L4
1.2

The derangement numbers up to 66. From D2=1D_2 = 1 and [L3]: ι(D3)=311=2\iota(D_3) = 3\cdot 1 - 1 = 2, ι(D4)=42+1=9\iota(D_4) = 4\cdot 2 + 1 = 9, ι(D5)=591=44\iota(D_5) = 5\cdot 9 - 1 = 44 and ι(D6)=644+1=265\iota(D_6) = 6\cdot 44 + 1 = 265; since ι\iota is injective these are the natural numbers D3=2D_3 = 2, D4=9D_4 = 9, D5=44D_5 = 44, D6=265D_6 = 265.

L2L3L4
2.1

The tabulated ratios. Dividing the base values in [L3] and the values from step 1.2 by the factorials of [L5] gives r0=1/1=1r_0 = 1/1 = 1, r1=0/1=0r_1 = 0/1 = 0, r2=1/2r_2 = 1/2, r3=2/6=1/3r_3 = 2/6 = 1/3, r4=9/24=3/8r_4 = 9/24 = 3/8, r5=44/120=11/30r_5 = 44/120 = 11/30 and r6=265/720=53/144r_6 = 265/720 = 53/144.

step 1.2L3L4L5
2.2

A cross-check at n=4n = 4 through step 1.1: i<5(1)i/ι(i!)=11+1/21/6+1/24=9/24=3/8\sum_{i<5}(-1)^{i}/\iota(i!) = 1 - 1 + 1/2 - 1/6 + 1/24 = 9/24 = 3/8, which is r4r_4.

step 1.1L4L5
3.1

So rnr_n is the truncated alternating sum, and its values through n=6n = 6 are as tabulated.

step 2.1step 2.2

Remarks

  • The alternation is visible in the table. r1=0r_1 = 0 is below r2=1/2r_2 = 1/2, which is above r3=1/3r_3 = 1/3, which is below r4=3/8r_4 = 3/8; each successive value differs from the previous one by the single term (1)n/ι(n!)(-1)^{n}/\iota(n!), whose sign alternates and whose size decreases.

  • No limit is claimed. The quotient is computed at each nn from two counts, and nothing here asserts convergence or names a limiting value; the exponential function that would be needed to state such a limit is not among this page's declared prerequisites.

  • Why the division is legitimate at every nn, including n=0n = 0. The denominator is ι(n!)\iota(n!) and n!n! is never 00, its recursion starting at 0!=10! = 1 and multiplying by nonzero successors.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 89 results over 29 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources