#4 Proof outline example

                 When finishing assignment 2, we were requested to write in a proper proof outline, here is an example.
                 to prove

by using the definition of floor(x):

the proof structure is shown below:

It's just a example about straight prove.