Re: [math-fun] less than or equal to