2013-08-11から1日間の記事一覧
#use "Multivariate/realanalysis.ml";; #use "Multivariate/derivatives.ml";; g `!p e. p <= &1 ==> &0 < e ==> ?d. &0 < d /\ !x y. &1 <= x /\ &1 <= y /\ y <= x /\ abs(x - y) < d ==> abs(x rpow p - y rpow p) < e` ;; e( REPEAT STRIP_TAC );; e( A…