I am trying to prove one of the triangle inequalities.
 are going to be my absolute value symbols, sorry, i don't have mathematica on this computer with the symbols.
I am proving that [[x]-[y]]<=[x-y].
i tried this: we know -[x]<=x<=[x] and -[y]<=y<=[y]
if i subtract these i get: -[x]--[y]<=x-y<=[x]-[y]
then you simplify and get -([x]-[y])<=x-y<=([x]-[y])
I thought i was on the right track but then i realized that the inequality was pointing in the wrong direction. Did i make some computational error or am i going about this the wrong way? I appreciate any hints on where I might start. thanks!