Но упёртый школьник разобраться в доказательстве сможет. Формально интегралы и формула Ньютона-Лейбница изучаются в школе, а этим вполне можно обойтись. (Есть ещё доказательство Ламберта с цепными дробями и, кажется, без интегралов, но более сложное.)
В Бухштабе приводится доказательство иррациональности
, легко доступное старшекласснику, но вот только смотришь с разинутым ртом на это доказательство (равно как и на доказательство Эрмита трансцендентности
), как на фокусника вытягивающего очередного кролика из шляпы.
