p;[√2]＝[1.4142……]＝1

[π]＝[3.14……]＝3

随着话语脱口而出，笔记本同时写下算式。遥目不转睛看着，明明原本不是整数，加个括号就变成整数。而且会稍微变小。二点五变成二、一点四一四二变成一。

「然后『[1]＝1』。因为一不大于一本身。」

[1]＝1

啊啊，原来「小于括号数字的最大整数」是这个意思。遥暗自低语，微微点头。

「懂了吗？」

「没问题。」

遥再度点头，这次是确定懂了。

「这个『高斯符号』，画成图形非常有趣。」

「图形？」

宙以铅笔疾书代替回应。他在刚才写下的[x]前面加上「y＝」。

y＝[x]

「记得线性函数『y＝ax＋b』吗？」

「嗯。多亏宙，我上次段考也考得很好。」

其实考得一点都不好，但遥情急之下如此回应，手心微微冒汗。她有点担心被发现，但宙没特别在意就继续说下去。

「基本上，画图的方法和那个一样。首先调查x的数值会让y输出什么数值。

以这个例子来说，y是『小于x的最大整数』，所以……」

x＝0y＝0

x＝0.1y＝0

x＝1y＝1

x＝1.5y＝1

x＝2y＝2

握铅笔的右手和说话的嘴分别运作，算式整齐排列。

「稍微简化吧。以不等式表现x值就是……」

o≤x＜1

y＝0

1≤x＜2

y＝1

&ems