on the mean ergodic theorem of sine