Evaluar la integral que involucra la cardinalidad del conjunto de las partes enteras de las funciones trigonométricas básicas:
$$ \int_{0}^{2\pi} \left| \{ \lfloor \sin x \rfloor, \lfloor \cos x \rfloor, \lfloor \tan x \rfloor, \lfloor \cot x \rfloor \} \right| \, dx $$
Donde $|\{ \dots \}|$ denota el número de elementos distintos en el conjunto.