Las matemáticas prueban que los juegos de Mario son difíciles