|
exponentiation_aux: THEORY
BEGIN
px: VAR posreal
n: VAR nat
expt_lower_bound: LEMMA 1+n*px <= expt(1+px,n)
END exponentiation_aux
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
