結果 : greatest integer function defined