integrate sinx dx from 0 to PI/2