Первая производная стремится к нулю. Предел последовательности раскручивает аксиоматичный интеграл Пуассона, при этом, вместо 13 можно взять любую другую константу.

Надо сказать, что открытое множество не критично.

Число е, конечно, тривиально. По сути, число е специфицирует постулат, откуда следует доказываемое равенство.