Se ha probado (Lindemann, 1882) que el número real formula_314 es transcendente sobre formula_16.