実数の列{a_n}は任意の自然数p,qに対して
|a_(p+q)-a_p-a_q|<1
を満たしている。
このとき、任意の自然数n,kに対して
|n*a_(n+k)-(n+k)a_n|<2(n+k)…(A)
が成り立つことを示せ。

追加問題
(A)をより厳しく評価せよ。
すなわち、任意のn,kに対して(A)の右辺を可能な限り小さくせよ。