Question 31804: Quotient of Consecutive Factorials

Original question and givens

Compute 4!/3!; the denominator is explicitly positive.

• G001 — Compute 4!/3!; the denominator is explicitly positive.

Definition and scope

Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.

• mko-factorial

Step-by-step derivation

source roles = [qf-factorial-consecutive-quotient, no-domain-field, consecutive_quotient, no-form-field]

derived = [[exact_integer_STRING]]

Factorial requested n ORIGINAL factorial factor2 := mul(1, 2)

Factorial requested n ORIGINAL factorial factor2 = 2

Factorial requested n ORIGINAL factorial factor3 := mul(2, 3)

Factorial requested n ORIGINAL factorial factor3 = 6

Factorial requested n ORIGINAL factorial factor4 := mul(6, 4)

Factorial requested n ORIGINAL factorial factor4 = 24

source roles = [Factorial requested n, 4]

derived = [24]

source roles = [4, 24]

derived = [24]

Factorial previous n minus1 ORIGINAL factorial factor2 := mul(1, 2)

Factorial previous n minus1 ORIGINAL factorial factor2 = 2

Factorial previous n minus1 ORIGINAL factorial factor3 := mul(2, 3)

Factorial previous n minus1 ORIGINAL factorial factor3 = 6

source roles = [Factorial previous n minus1, 3]

derived = [6]

Factorial ORIGINAL n factorial over positive previous factorial := div(24, 6)

Factorial ORIGINAL n factorial over positive previous factorial = 4

Factorial quotient reverse ORIGINAL previous factorial times n := mul(6, 4)

Factorial quotient reverse ORIGINAL previous factorial times n = 24

source roles = [4, 24, 6]

derived = [4, 24]

Reverse checks

• S012 · premise_and_result_audit — Reverse-check the ORIGINAL inputs,field roles,domain and premises.Consistency does not imply unique recovery of premises.Keep finite checking,independent review,formal proof and publication separate.
• S011 · premise_and_result_audit — Recompute Factorial quotient reverse ORIGINAL previous factorial times n with exact rational arithmetic, not rounded decimals.
• S010 · premise_and_result_audit — Recompute Factorial ORIGINAL n factorial over positive previous factorial with exact rational arithmetic, not rounded decimals.
• S009 · premise_and_result_audit — Reverse-check the ORIGINAL inputs,field roles,domain and premises.Consistency does not imply unique recovery of premises.Keep finite checking,independent review,formal proof and publication separate.
• S008 · premise_and_result_audit — Recompute Factorial previous n minus1 ORIGINAL factorial factor3 with exact rational arithmetic, not rounded decimals.
• S007 · premise_and_result_audit — Recompute Factorial previous n minus1 ORIGINAL factorial factor2 with exact rational arithmetic, not rounded decimals.
• S006 · premise_and_result_audit — Reverse-check the ORIGINAL inputs,field roles,domain and premises.Consistency does not imply unique recovery of premises.Keep finite checking,independent review,formal proof and publication separate.
• S005 · premise_and_result_audit — Reverse-check the ORIGINAL inputs,field roles,domain and premises.Consistency does not imply unique recovery of premises.Keep finite checking,independent review,formal proof and publication separate.
• S004 · premise_and_result_audit — Recompute Factorial requested n ORIGINAL factorial factor4 with exact rational arithmetic, not rounded decimals.
• S003 · premise_and_result_audit — Recompute Factorial requested n ORIGINAL factorial factor3 with exact rational arithmetic, not rounded decimals.
• S002 · premise_and_result_audit — Recompute Factorial requested n ORIGINAL factorial factor2 with exact rational arithmetic, not rounded decimals.
• S001 · premise_and_result_audit — Reverse-check the ORIGINAL inputs,field roles,domain and premises.Consistency does not imply unique recovery of premises.Keep finite checking,independent review,formal proof and publication separate.

Result

4

The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.

This question review and source binding

Review date: 2026-10-26

Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.