A:to help; being
B:to helping; to be
C:to help; to be
D:helping; being
已知命题p:∃x∈R,x>sinx,则p的否定形式为( )