Added an intermediate version of erfRiemann for the tutorial.
Step 2 - examiner-friendly and a postcondition with method error.
Improved comment.