A lower bound for the quantity ||(3/2)k||

From MaRDI portal