The Pi Picos are tiny but capable, once you get used to their differences.
Without a doubt, Raspberry Pi 4 has a capable processor. It has a Broadcom BCM2711 processor with four Cortex-A72 cores, which are capable of clocking much higher than 1.5 GHz, which you get out of ...