Является ли функцией распределения некоторой случайной величины функция

0 при x<=0
F(x)= cosx при 0< x<=p/2
1 При x> p/2