>>155
与式 = {Σ(k^4)}/40 -{Σ{(k^4) MOD 40}}/40 +{Σk}*2 (Σ は k=1→Lv-1)
第１項・第３項はΣ(k^4)とΣkについて公式を使います。
第２項はk=1 から (k^4) MOD 40 を列挙すると、周期10で1,16,1,16,25,16,1,16,1,0,の繰り返しになり、その平均値は93/10
(93/10)Lvを基準として、(93/10)Lv-20 ＜ Σ{(k^4) MOD 40} ＜ (93/10)Lv+20 であり、
-{Σ{(k^4) MOD 40}}/40 ＜ -(93/400)Lv+1/2 ＜ -{Σ{(k^4) MOD 40}}/40+1 といえるので、

与式 = FLOOR[{(Lv-1)((Lv-1)+1)(2(Lv-1)+1)(3(Lv-1)^2+3(Lv-1)-1)/30}/40 -(93/400)Lv+1/2 +{(Lv-1)((Lv-1)+1)/2}*2]
=FLOOR[(1/200)Lv^5-(1/80)Lv^4+(1/120)Lv^3+Lv^2-(37/30)Lv+(1/2)]