💬 Hi! Want to know more about “Here's a quick proof of the irrationality of tan(1)”? I’m here to guide you.