The integral of cos(x) from 0 to π/2 is exactly 1 - and here is why

A heuristic argument, why it has to be 1. And it’s a song. This was my part in the christmas special of Flammable Maths 2018: Mathvengers: Integral War [ 24 ways to integrate cos(x) from 0 to pi/2]