面白い問題おしえて〜 ..
199:132人目の素数さん
18/11/11 14:45:18.55 /oKi5paQ.net
また、
Σ(k:(2/3)^k x/3≧δ) (2/3)^k (1/3) s((2/3)^k x/3)
≧Σ(k:(2/3)^k x/3≧δ) (2/3)^k (1/3) inf(t≧δ)s(t)
=Σ(1≦k≦log_{3/2}(x/(3δ))) (2/3)^k (1/3) inf(t≧δ)s(t)
=Σ(1≦k≦[log_{3/2}(x/(3δ))]) (2/3)^k (1/3) inf(t≧δ)s(t)
=(1/3)(2/3)(1−(2/3)^{ [log_{3/2}(x/(3δ))] })/(1−2/3) * inf(t≧δ)s(t)
=(1/3)(2/3)(1−o(1))/(1−2/3) * inf(t≧δ)s(t)
=(2/3)(1-o(1)) * inf(t≧δ)s(t)
=(2/3)inf(t≧δ)s(t)−(2/3)o(1)inf(t≧δ)s(t)
=(2/3)inf(t≧δ)s(t)+o(1)
である。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
1900日前に更新/466 KB
担当:undef