Интегрировать среднее значение (sin, cos) dx

В этом видео показано, как интегрировать интеграл ∫∫(sin,cos) dx. Это определенный интеграл. В этом интеграле используется функция округления до целого числа.