ROSECODE 399

一个巨大的和

A Big Sum

Philippe_57721 · 数学 · 2017-06-01

让

S (n) = \sum_{i \leq n} (⌊ i \times \sqrt{2} ⌋) ⌊ x ⌋ = integer part of x

例如

S (100) = 7092

什么是

S (10^{20})

？

[我的时间：即时]

感谢 czp001 谁给我出主意的！