Yes that's right. It's also sufficient, although you might make it clearer that your function is 0 everywhere other than the interval 0 to pi/2.
This is my first post on MHF, hello everyone.
I need to determine continuous random variable distribution function based on its cumulative distribution function
Having (fundamental theorem of calculus) I would say that distribution function should look like this:
Is this correct, and is this formula sufficient?