Ciclo de cores com LED RGB no Raspberry Pi Pico (PWM de 3 canais, GP11-13)

Um LED, milhões de cores! Um LED RGB contém, na verdade, 3 LEDs: **vermelho, verde e azul**. Controlar cada um com seu próprio canal **PWM** do Pico mistura as cores: vermelho + verde = amarelo, verde + azul = ciano, os três = branco. Aqui, o LED alterna entre 8 cores. Aprenda sobre **múltiplos canais PWM**, **definição de funções** (`def set_color(...)`), **mistura de cores RGB** (como funcionam telas e lâmpadas inteligentes), **conversão de 8 bits → 16 bits** (`x257` converte 0–255 em…