10.1 Sums and Limits
Checkpoint 4
Evaluate
`lim_(x rarr pi//2)(sin x)/x`.
Answer
`2//pi ~~ 0.6366`