Nuprl Lemma : sqrt-int-aa-real-fast-complete

n:. r:. (((r * r)  n)  (n < ((r + 1) * (r + 1))))


Proof not projected

Error : references
\mforall{}n:\mBbbN{}.  \mexists{}r:\mBbbN{}.  (((r  *  r)  \mleq{}  n)  \mwedge{}  (n  <  ((r  +  1)  *  (r  +  1))))


Date html generated: 2013_03_20-AM-11_02_17
Last ObjectModification: 2012_11_27-AM-10_31_59

Home Index