3重Σ

問題文

この問題及び解説では、常用対数をlog,自然対数をlnと表す。
十進法での
$$A= \sum_{m=1}^{100} m^{3}、B= \sum_{l=1}^{A} l^{2}、C=\sum_{k=1}^{B} k$$
について、以下の問いに答えよ。
$0.3010<log2<0.3011$、$0.4771<log3<0.4772$である。
(1)0<実数x<1に対して$log(1+x)<x$を示せ。
(2)Bに9でない桁が含まれる事を示せ。
(3)以上を用いてCの桁数を求めよ。
(4)$\lfloor \frac{B^{2}}{2C} + 10^{n} \rfloor = \lfloor \frac{B^{2}}{2C} \rfloor$を満たす最大の整数nを求めよ。

解答形式

全て要証明、(3)は解答方針の指示に従う事。