La función parte entera se define como: