コラッツ予想がとけたらいいな

[0687 １３２人目の素数さん 2017/06/23(金) 20:47:11.82 ID:Aha3AK9Q]

>[logY_s]と[logX_s]
すまん、この記号[ ]の意味はなんだっけ？切り上げ？