|
factorial_props: THEORY
%----------------------------------------------------------------------------
%
% Factorial function: factorial(n) = n!
%
% Author: Rick Butler NASA Langley Research Center
% David Lester Manchester University
%
%----------------------------------------------------------------------------
BEGIN
IMPORTING ints@factorial, sqrt
n,k: VAR nat
factorial_2n_lb: LEMMA sqrt(n)^(2*n) <= factorial(2*n)
factorial_2np1_lb: LEMMA sqrt(n)^(2*n+1) <= factorial(2*n+1)
END factorial_props
¤ Dauer der Verarbeitung: 0.15 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.
|
