Hey all, how would one go about proving the following?

abs|x - z| <= abs|x - y| + abs|y - z|

abs|x - y| >= abs| abs|x| - abs|y| |

where we know the following,

N (naturals), considered as a subset of R (reals), is not bounded above.

Z (integers) is not bounded above.

Z (integers) is not bounded below.

For each epsilon > 0, there exists n in N (naturals) such that 1/n < epsilon

Absolute value is defined to be x if x >= 0 and to be -x if x < 0.

Also, x<y if and only if x^2 < y^2

abs|x| < abs|y| if and only if x^2 < y^2

For all x,y in R (reals):

abs|x| = 0 if and only if x = 0

abs|xy| = abs|x| * abs|y|

- abs|x| <= x <= abs|x|

abs|x+y| <= abs|x| + abs|y|

If -y < x < y then |x| < |y|

Also, if you let x be real such that 0 <= x <= 1, and let m,n be natural such that m >= n, then x^m <= x^n

Thank you!