Is your feature request related to a problem? Please describe.
거의 모든 무리수의 무한 연분수 전개에서, 앞 n개 항의 기하평균이 같은 상수로 수렴한다.
Describe the solution you'd like
A clear and concise description of what you want to happen.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context
Add any other context or screenshots about the feature request here.
Is your feature request related to a problem? Please describe.
Lean4를 통한 위에서 찾은 정리 증명.Describe the solution you'd like
A clear and concise description of what you want to happen.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context
Add any other context or screenshots about the feature request here.