lecture: lecture 05: write in total pi