[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]

Viewing source code

The following is the source code for post >>>/math/908

>>907
We start with a foot. Your prove your statement with n.
Then, you show that, if the statement is valid with n, then it will still valid with n+1.
For the last point, you use the induction.

For instance, for any given triple (x,y,z), there is a order x<y<z.