>>428-430
JJMO(2008)でござった。

>>430
上限は 2k + 1/k。 これをどうやって示すのか分かりませぬ…。