救済スレ　 　

お願いします。

kを正の整数、b[k]を(√2)kの小数部分とすると、
　　　lim[n→∞](1/n)�納k=1,n]b[k]=1/2

初出はわからない問題スレ99の321で、たまたま思いついた問題です。
何日か考えてみたんですが、ムズい・・。
しばらくはチェックしますんで、もしわかる人いたらお願いします。
こんな定理使えるんじゃん？みたいのでもありがたいっす。