{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "khintchine-metric-rational-approximation-integral-test-1924",
    "title": "Khintchine: an integral decides how often typical numbers have very close fractions",
    "summary": "Fractions approximate irrational numbers, but how often can they meet a chosen accuracy target? Khintchine's 1924 theorem gives a threshold for almost every real number. In the original statement, a positive continuous function f specifies the error bound f(q)/q for denominator q, and x f(x) must decrease. If the improper integral of f diverges, almost every number has infinitely many fractions meeting that bound. If it converges, almost every number has only finitely many. Continued fractions connect the divergent case to earlier estimates of Bernstein. The contribution is this original metric threshold, rather than a claim about every particular irrational.",
    "boundary": "Almost every allows an exceptional set of Lebesgue measure zero, which can depend on f. The original continuity and monotonicity assumptions are retained; later weaker versions are not attributed to this paper. The manuscript is dated September 1923 and the volume was published in 1924. A preliminary geometric-mean bound in the same paper is distinct from the exact constant proved in 1935.",
    "area": "Metric Diophantine approximation",
    "topic": "Mathematics",
    "year": 1924,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "khintchine-metric-rational-approximation-integral-test-1924",
    "target": {
      "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
      "version": 1,
      "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
    },
    "humans": [
      "A. Khintchine"
    ],
    "authors_complete": true,
    "human_role_note": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261020-khintchine-kettenbrueche-1924",
        "title": "Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf",
        "date": "1924"
      }
    ],
    "geography": {
      "country_codes": [
        "RU"
      ],
      "location_basis": "Original byline explicitly says Moscow; final manuscript date also identifies Moscow. Present-day location labels follow the retained platform convention; they do not assert nationality,modern-state ownership or territorial jurisdiction at the historical date.",
      "source_url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf",
      "target": {
        "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
        "version": 1,
        "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)",
          "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "RU": "Russia"
      }
    },
    "points": "280000",
    "published_grade": {
      "id": "khintchine-metric-rational-approximation-integral-test-1924",
      "entry_id": "khintchine-metric-rational-approximation-integral-test-1924",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
        "version": 1,
        "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
      },
      "what_changed": "Fractions approximate irrational numbers, but how often can they meet a chosen accuracy target? Khintchine's 1924 theorem gives a threshold for almost every real number. In the original statement, a positive continuous function f specifies the error bound f(q)/q for denominator q, and x f(x) must decrease. If the improper integral of f diverges, almost every number has infinitely many fractions meeting that bound. If it converges, almost every number has only finitely many. Continued fractions connect the divergent case to earlier estimates of Bernstein. The contribution is this original metric threshold, rather than a claim about every particular irrational.",
      "scope": "Fractions approximate irrational numbers, but how often can they meet a chosen accuracy target? Khintchine's 1924 theorem gives a threshold for almost every real number. In the original statement, a positive continuous function f specifies the error bound f(q)/q for denominator q, and x f(x) must decrease. If the improper integral of f diverges, almost every number has infinitely many fractions meeting that bound. If it converges, almost every number has only finitely many. Continued fractions connect the divergent case to earlier estimates of Bernstein. The contribution is this original metric threshold, rather than a claim about every particular irrational. Almost every allows an exceptional set of Lebesgue measure zero, which can depend on f. The original continuity and monotonicity assumptions are retained; later weaker versions are not attributed to this paper. The manuscript is dated September 1923 and the volume was published in 1924. A preliminary geometric-mean bound in the same paper is distinct from the exact constant proved in 1935.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
        "version": 1,
        "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-23T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "A. Khintchine",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)",
            "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "Almost every allows an exceptional set of Lebesgue measure zero, which can depend on f. The original continuity and monotonicity assumptions are retained; later weaker versions are not attributed to this paper. The manuscript is dated September 1923 and the volume was published in 1924. A preliminary geometric-mean bound in the same paper is distinct from the exact constant proved in 1935.",
        "domain": "Metric Diophantine approximation"
      },
      "sources": [
        {
          "citation": "Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)",
          "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf"
        }
      ],
      "statement": "# Khintchine: an integral decides how often typical numbers have very close fractions\n\n## How often is a fraction surprisingly good?\n\nThe fraction 22/7 is familiar as an approximation to pi. A broader question asks how often fractions can approximate a typical real number with an error that gets smaller as their denominator grows. Smaller error targets are harder to meet. Khintchine gives a dividing rule for a specified family of targets. His theorem concerns almost every real number, rather than proving a new accuracy property of pi itself.\n\n## Read the accuracy rule before the conclusion\n\nThe original error target is f(q)/q, where q is a positive denominator. The function f must be positive and continuous, and x times f(x) must decrease. An improper integral adds up f over an unbounded range. If it grows without bound, infinitely many suitable fractions exist for almost every number. If the integral stays finite, almost every number has only finitely many. Finite changes at small denominators do not alter this distinction.\n\n## Two nearby targets can lie on opposite sides\n\nFor sufficiently large q, compare errors 1/(q squared times log q) and 1/(q squared times log q squared). Here log is the natural logarithm. The corresponding integral tests reduce, after the substitution u equals log x, to integrating 1/u or 1/u squared. The first diverges and the second converges. This classroom comparison shows why an extra logarithm can change an infinitely-often statement even though the two formulas look similar.\n\n## Typical does not identify a named number\n\nAlmost every means that the exceptional numbers occupy Lebesgue measure zero. Such a set can still contain infinitely many numbers and famous individual examples. A theorem about typical numbers therefore cannot be applied to pi just because pi appears irregular. The original paper also uses earlier Bernstein estimates. Later versions that weaken assumptions belong to their own history, and the exact geometric-mean constant is a different later result.\n\n## A small project with an honest stopping point\n\nAsk your agent to compare the two targets at several denominators and show every formula and unit-free error. Then ask it to explain the integral substitution in ordinary language. It may also search a finite list of fractions for a chosen number, but it must label that as a finite experiment. Finding a few close fractions, or finding none in a limited range, cannot establish either infinite conclusion of the theorem.\n\n## Scientific scope\n\nAlmost every allows an exceptional set of Lebesgue measure zero, which can depend on f. The original continuity and monotonicity assumptions are retained; later weaker versions are not attributed to this paper. The manuscript is dated September 1923 and the volume was published in 1924. A preliminary geometric-mean bound in the same paper is distinct from the exact constant proved in 1935.\n\n## Sources for this explanation\n\n- [Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)](https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf): Original1924paper,printed118–119,SatzII;printed115–117 provide denominator bounds and Bernstein input.\n",
      "summary": "Fractions approximate irrational numbers, but how often can they meet a chosen accuracy target? Khintchine's 1924 theorem gives a threshold for almost every real number. In the original statement, a positive continuous function f specifies the error bound f(q)/q for denominator q, and x f(x) must decrease. If the improper integral of f diverges, almost every number has infinitely many fractions meeting that bound. If it converges, almost every number has only finitely many. Continued fractions connect the divergent case to earlier estimates of Bernstein. The contribution is this original metric threshold, rather than a claim about every particular irrational.",
      "title": "Khintchine: an integral decides how often typical numbers have very close fractions"
    },
    "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
      "version": 1,
      "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:5a9211d148b68546a8a6dea03a279400f52469d4eccfaea46b6cd5af0e800738"
  },
  "target": {
    "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
    "version": 1,
    "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "khintchine-metric-rational-approximation-integral-test-1924",
    "entry_id": "khintchine-metric-rational-approximation-integral-test-1924",
    "revision": 1,
    "title": "Khintchine: an integral decides how often typical numbers have very close fractions",
    "context": "Metric Diophantine approximation",
    "track": "Exact theorem and reusable mathematical method",
    "band": "S",
    "modifier": "-",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-23",
    "evidence_cutoff": "2026-10-23",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Fractions approximate irrational numbers, but how often can they meet a chosen accuracy target? Khintchine's 1924 theorem gives a threshold for almost every real number. In the original statement, a positive continuous function f specifies the error bound f(q)/q for denominator q, and x f(x) must decrease. If the improper integral of f diverges, almost every number has infinitely many fractions meeting that bound. If it converges, almost every number has only finitely many. Continued fractions connect the divergent case to earlier estimates of Bernstein. The contribution is this original metric threshold, rather than a claim about every particular irrational.",
    "scope": "Fractions approximate irrational numbers, but how often can they meet a chosen accuracy target? Khintchine's 1924 theorem gives a threshold for almost every real number. In the original statement, a positive continuous function f specifies the error bound f(q)/q for denominator q, and x f(x) must decrease. If the improper integral of f diverges, almost every number has infinitely many fractions meeting that bound. If it converges, almost every number has only finitely many. Continued fractions connect the divergent case to earlier estimates of Bernstein. The contribution is this original metric threshold, rather than a claim about every particular irrational. Almost every allows an exceptional set of Lebesgue measure zero, which can depend on f. The original continuity and monotonicity assumptions are retained; later weaker versions are not attributed to this paper. The manuscript is dated September 1923 and the volume was published in 1924. A preliminary geometric-mean bound in the same paper is distinct from the exact constant proved in 1935.",
    "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. Almost every allows an exceptional set of Lebesgue measure zero, which can depend on f. The original continuity and monotonicity assumptions are retained; later weaker versions are not attributed to this paper. The manuscript is dated September 1923 and the volume was published in 1924. A preliminary geometric-mean bound in the same paper is distinct from the exact constant proved in 1935.",
    "references": [
      {
        "title": "Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf",
        "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained."
      }
    ],
    "roles": [
      {
        "who": "The named authors in the research record",
        "credit": "SCIENCE",
        "did": "Original-paper scientific authors for this exact mathematical contribution. Independent papers grouped in one historical family are not a joint byline. Earlier theorems, supporting proof contributions and later generalizations remain separate. Individual effort shares, author nationality and unresolved cross-record identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
      "version": 1,
      "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "280000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "khintchine-metric-rational-approximation-integral-test-1924",
    "target": {
      "record_id": "urn:uuid:14e8b644-82be-42d6-a72e-3ad1d9ff6cd5",
      "version": 1,
      "content_hash": "sha256:684e455e8e227bf46e041c2408ea22bdc3b5879ca0a5984afc6a858e86cbb6ee"
    },
    "sections": [
      {
        "title": "How often is a fraction surprisingly good?",
        "text": "The fraction 22/7 is familiar as an approximation to pi. A broader question asks how often fractions can approximate a typical real number with an error that gets smaller as their denominator grows. Smaller error targets are harder to meet. Khintchine gives a dividing rule for a specified family of targets. His theorem concerns almost every real number, rather than proving a new accuracy property of pi itself."
      },
      {
        "title": "Read the accuracy rule before the conclusion",
        "text": "The original error target is f(q)/q, where q is a positive denominator. The function f must be positive and continuous, and x times f(x) must decrease. An improper integral adds up f over an unbounded range. If it grows without bound, infinitely many suitable fractions exist for almost every number. If the integral stays finite, almost every number has only finitely many. Finite changes at small denominators do not alter this distinction."
      },
      {
        "title": "Two nearby targets can lie on opposite sides",
        "text": "For sufficiently large q, compare errors 1/(q squared times log q) and 1/(q squared times log q squared). Here log is the natural logarithm. The corresponding integral tests reduce, after the substitution u equals log x, to integrating 1/u or 1/u squared. The first diverges and the second converges. This classroom comparison shows why an extra logarithm can change an infinitely-often statement even though the two formulas look similar."
      },
      {
        "title": "Typical does not identify a named number",
        "text": "Almost every means that the exceptional numbers occupy Lebesgue measure zero. Such a set can still contain infinitely many numbers and famous individual examples. A theorem about typical numbers therefore cannot be applied to pi just because pi appears irregular. The original paper also uses earlier Bernstein estimates. Later versions that weaken assumptions belong to their own history, and the exact geometric-mean constant is a different later result."
      },
      {
        "title": "A small project with an honest stopping point",
        "text": "Ask your agent to compare the two targets at several denominators and show every formula and unit-free error. Then ask it to explain the integral substitution in ordinary language. It may also search a finite list of fractions for a chosen number, but it must label that as a finite experiment. Finding a few close fractions, or finding none in a limited range, cannot establish either infinite conclusion of the theorem."
      }
    ],
    "references": [
      {
        "title": "Einige Sätze über Kettenbrüche, mit Anwendungen auf die Theorie der Diophantischen Approximationen (Mathematische Annalen92,115–125)",
        "url": "https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0092/LOG_0015.pdf",
        "locator": "Original1924paper,printed118–119,SatzII;printed115–117 provide denominator bounds and Bernstein input."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}