Channel BannerChannel Banner
h4nhgpGesiwh4nhgpGesiw

1 - 1/3² + 1/5² - … は有理数か?

207,150
Socialcounts.OrgEnter Fullscreen (f)
2,335
likes
106
comments
daily view 0
monthly view 0

Share

Live Analytics

Comments 0

1 - 1/3² + 1/5² - … は有理数か? Analytics Table

Income Estimates for 1 - 1/3² + 1/5² - … は有理数か?

Based on this YouTube video's total view count of 207K views and industry-standard rates, the estimated total earning is $145 - $414 through ad revenue. Historical data is not yet available to calculate daily, weekly, or monthly averages.

About 1 - 1/3² + 1/5² - … は有理数か?

Explore 1 - 1/3² + 1/5² - … は有理数か? with 207,150 views, 2,335 likes, and 106 comments. Experience the impact of this video content that has captured audience attention.

G = 1 - 1/3² + 1/5² - 1/7² + … = 0.9159… はカタラン定数と呼ばれます。G が無理数かどうかは長く未解決でしたが、OpenAI が公開した論文がこれを証明しました(未査読ですが、主定理は Lean で形式化されています)。 証明では、成分が「有理数 + 有理数 × G」の形の巨大な行列 (n = 48N 次) を作り、その行列式 Δ を物差し L = log|Δ| / n² - (1/2) log 2 で測ります。G が有理数なら L は -2.29084 より下にならないのに対し、積分による評価では L は -2.29093 より小さくなるので、矛盾します(正確には、N を大きくしたときの極限についての主張です)。 なお論文によれば、Zhi-Wei Sun も 2026 年に同じ主張の証明を発表しています。 参考文献: OpenAI. (2026, September 24). Catalan's constant is irrational. (2026-10-12 閲覧) ( https://github.com/openai/math/blob/main/preprints/Catalans-constant-is-irrational-September-24-2026/paper.pdf ) Lean の形式化: lean/ComparatorChallenges/Catalan.lean ( https://github.com/openai/math/blob/main/lean/ComparatorChallenges/Catalan.lean ) Sun, Z.-W. (2026). Catalan's constant is irrational (arXiv:2609.04176). arXiv. ( https://arxiv.org/abs/2609.04176 ) 音楽: MusMus === X: https://x.com/evima0 Discord: https://discord.com/invite/MqxuBEKRZM

About YouTube Real-Time View Count

With SocialCounts.org’s view counter, track your YouTube video’s live view count and YouTube likes count in real time with fast, reliable updates.

Watch every YouTube video live view count rise with our real-time YouTube views tracker—built for accuracy and minimal delay.

Follow YouTube real time views as they happen, using our dedicated view counter for YouTube videos.

Get up-to-date live view count on YouTube and see real-time growth with SocialCounts.org’s smart tracking tools.

Embed Widget

Parameters:

  • fullscreen=true - Fullscreen counter
  • graph=true - Live graph chart
  • counter=0/1/2 - Select counter (0=likes, 1=views, 2=comments)
URL

Click to copy the embed URL to your clipboard