This week, we learnt about proving a claim about a sequence. A sequence means there is a comparison between two terms in an equation, for instance |P| > n. Also, the floor and ceiling concepts are introduced. The tutorial of this week is mostly about proofs using more of the definition, and every time when i am stuck on proofing a part, I will keep reminding myself what is the definition of a term and what is the relationship between the two terms.
Problem solving episode:
Step1: problem: write proof structure of 
Step2: plan: what should a proof structure look like? If it is for all: assume something, then conclude something; if it is for some: let something to be something then conclude something
Step3: carrying out the plan:
Step 4: examine the solution: the proof structure includes both LHS and RHS parts and we also introduce the ‘imply’ relationship to link the two equations, finally introducing for all make our proof a complete solution
I was somehow ‘afraid’ to see such complicated slab of equations. But knowing how the structure works, it is easy and clear for me to follow the steps and I am impressed by the logical way (separating a long line into pieces and proof it bit by bit from left to right, THEN find relationship between two equations -> summarize) in proofing equations.
chunglws2014 