結果 : greatest integer function piecewise definition