PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (49)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'inequalities for real numbers'
1. $(1 + 1/n)^n$ is an increasing sequence by rspuzio
2. $(1+\frac{\alpha}{n})^n$ is monotone for large $n$ by uriw
3. $2^{\omega(n)} \le \tau(n) \le 2^{\Omega(n)}$ by Wkbj79
4. $C^n$ norm by rspuzio
5. $L^1(G)$ is a Banach *-algebra by asteroid
6. $\lim_{p \to \infty} \lVert x \rVert_p = \lVert x \rVert_{\infty}$ by Koro
7. absolute value inequalities by Wkbj79
8. Albert Einstein by PrimeFan
9. all norms on finite-dimensional vector spaces are equivalent by jirka
10. alternate proof of Mantel's theorem by lieven
11. angle by CWoo
12. angle between two lines by pahio
13. anti-cone by stevecheng
14. application of Cauchy criterion for convergence by pahio
15. arithmetic-geometric-harmonic means inequality by drini
16. Armstrong number by CompositeFan
17. asymptotic estimates for real-valued nonnegative multiplicative functions by Wkbj79
18. Banach algebra by rspuzio
19. Banach fixed point theorem by mathwizard
20. Banach limit by stevecheng
21. Bauer-Fike theorem by Andrea Ambrosio
22. Bernoulli's inequality by rspuzio
23. Bertrand's conjecture, proof of by CWoo
24. Bessel inequality by ariels
25. beth numbers by yark
26. Bohr's theorem by pahio
27. Boolean subalgebra by CWoo
28. bound on matrix differential equation by rspuzio
29. bounds for e by rspuzio
30. Brauer's ovals theorem by Andrea Ambrosio
31. Brocard's conjecture by PrimeFan
32. Brun's pure sieve by bbukh
33. calculus of subgroup orders by Algeboy
34. Carath\'eodory's lemma by gel
35. Cauchy-Schwarz inequality by drini
36. Chen Jingrun by PrimeFan
37. Chen's theorem by PrimeFan
38. Chernoff-Cramer bound by Andrea Ambrosio
39. circle has one center by Wkbj79
40. Clarkson inequality by georgiosl
41. complete ultrametric field by pahio
42. computable number by AxelBoldt
43. conditional entropy by PrimeFan
44. construction of outer measures by gel
45. continuity of convex functions by pbruin
46. continuity of natural power by pahio
47. convergence in probability is preserved under continuous transformations by stevecheng
48. convergence of arithmetic-geometric mean by rspuzio
49. convergence of complex term series by pahio
50. convergent series where not only$~a_n$ but also $na_n$ tends to 0 by pahio
51. convex function by matte
52. corollaries of basic theorem on ordered groups by rspuzio
53. derivation of Hartley function by Mathprof
54. derivation of integral representations of Jacobi $\vartheta$ functions by rspuzio
55. derivative of exponential function by rspuzio
56. determinant inequalities by Andrea Ambrosio
57. determination of abundant numbers with specified prime factors by rspuzio
58. determination of even abundant numbers with one odd prime factor by rspuzio
59. determining the continuations of exponent by pahio
60. Diophantine set by CWoo
61. distribution by matte
62. distributive inequalities by CWoo
63. DNA inequality by PrimeFan
64. Doob's inequalities by gel
65. Dunkl-Williams inequality by Mathprof
66. equitable matrix for money exchange by mathforever
67. equivalence of definitions of $C^*$-algebra by rspuzio
68. Euler product formula by pahio
69. every positive integer greater than 30 has at least one composite totative by mps
70. example of a probabilistic proof by bbukh
71. example of computing limits using Taylor expansion by stevecheng
72. example of converging increasing sequence by pahio
73. example of improper integral by pahio
74. example of Lipschitz condition by me_and
75. example of transcendental number by alozano
76. example of using residue theorem by pahio
77. existence of adjoints of bounded operators by asteroid
78. existence of the essential supremum by gel
79. Farkas lemma, proof of by CWoo
80. formal power series as inverse limits by rspuzio
81. Fortunate number by PrimeFan
82. Gabor frame by ErlendA
83. Galois connection by CWoo
84. general means inequality by drini
85. generalization of Young inequality by Andrea Ambrosio
86. generalized Andrica conjecture by dankomed
87. generalized Farkas lemma by stevecheng
88. Gronwall's lemma by jarino
89. Hadamard's inequality by mathwizard
90. Hadwiger-Finsler inequality by mathwizard
91. Hamming metric by drini
92. Heronian mean is between geometric and arithmetic mean by pahio
93. high school mathematics by matte
94. incidence geometry by CWoo
95. inequalities for differences of powers by rspuzio
96. inequality of logarithmic and asymptotic density by kompik
97. inequality with absolute values by pahio
98. infimum and supremum for real numbers by matte
99. inner product by djao
100. inner product space by CWoo
101. integral representation of length of smooth curve by stevecheng
102. Jensen's inequality by Andrea Ambrosio
103. Kantorovitch's theorem by stevecheng
104. Koebe distortion theorem by jirka
105. Kolmogorov's martingale inequality by stevecheng
106. Krull valuation domain by pahio
107. Levi pseudoconvex by jirka
108. limit of $\displaystyle \frac{\sin x}{x}$ as $x$ approaches 0 by Wkbj79
109. limit of real number sequence by pahio
110. linear convergence by Mathprof
111. Liouville approximation theorem by KimJ
112. Liouville number by PrimeFan
113. Lipschitz condition by paolini
114. LYM inequality by bbukh
115. MacLaurin's inequality by Mathprof
116. Mangoldt summatory function by mathcam
117. Marshall Hall's conjecture by PrimeFan
118. martingale proof of Kolmogorov's strong law for square integrable variables by gel
119. matrix p-norm by mathcam
120. minimax inequality by bchui
121. modular lattice by yark
122. monotonicity of the sequence $(1 + x/n)^n$ by rspuzio
123. multiplication of series by pahio
124. near operators by mathcam
125. nested interval theorem by pahio
126. non-Newtonian calculus by smithpith
127. octonion by CWoo
128. operator norm of multiplication operator on $L^2$ by rspuzio
129. ordered space by CWoo
130. orthocomplemented lattice by CWoo
131. Ostrowski theorem by Andrea Ambrosio
132. Parseval equality by asteroid
133. partially ordered group by CWoo
134. Peetre's inequality by Koro
135. period by mathcam
136. periodicity of a Markov chain by CWoo
137. Petersen theorem by scineram
138. polyhedron by Mathprof
139. polynomial function is a proper map by joking
140. poset by mps
141. potential theory by rspuzio
142. probabilistic method by bbukh
143. projective line configurations by rspuzio
144. proof of $L^p$-norm is dual to $L^q$ by gel
145. proof of $\frac{f(t)-f(s)}{t-s}\leq\frac{f(u)-f(s)}{u-s}\leq\frac{f(u)-f(t)}{u-t}$ for convex $f$ by yesitis
146. proof of Alon-Chung lemma by kshum
147. proof of arithmetic-geometric-harmonic means inequality by drini
148. proof of arithmetic-geometric-harmonic means inequality by Mathprof
149. proof of Banach fixed point theorem by asteroid
150. proof of Barbalat's lemma by ncrom
151. proof of Beatty's theorem by lieven
152. proof of Bernoulli's inequality employing the mean value theorem by rspuzio
153. proof of Bernstein inequalities by Andrea Ambrosio
154. proof of Bohr-Mollerup theorem by lieven
155. proof of Borel-Cantelli 2 by kshum
156. proof of bounds for e by rspuzio
157. proof of Brouwer fixed point theorem by uriw
158. proof of Carath\'eodory's extension theorem by gel
159. proof of Carath\'eodory's lemma by gel
160. proof of chromatic number and girth by kshum
161. proof of Clarkson inequality by CWoo
162. proof of crossing lemma by bbukh
163. proof of determinant lower bound of a strict diagonally dominant matrix by Andrea Ambrosio
164. proof of dominated convergence theorem by rspuzio
165. proof of Doob's inequalities by gel
166. proof of embedding theorem for ordered abelian groups of rank one by rspuzio
167. proof of equivalence of definitions of valuation by rspuzio
168. proof of Fatou-Lebesgue theorem by Wkbj79
169. proof of fundamental theorem of algebra (Rouch\'e's theorem) by Wkbj79
170. proof of general means inequality by pbruin
171. proof of Gronwall's lemma by jarino
172. proof of growth of exponential function by rspuzio
173. proof of Hadamard three-circle theorem by Simone
174. proof of Hadamard's inequality by Andrea Ambrosio
175. proof of Hermite-Hadamard integral inequality by Andrea Ambrosio
176. proof of H\"{o}lder inequality by paolini
177. proof of inequalities for difference of powers by Mathprof
178. proof of infinite product of sums $1\!+\!a_i$ result without exponentials by rspuzio
179. proof of infinitude of primes by rspuzio
180. proof of Ingham Inequality by ncrom
181. proof of limit of nth root of n by rspuzio
182. proof of Mantel's theorem by mps
183. proof of Markov's inequality by Andrea Ambrosio
184. proof of martingale convergence theorem by scineram
185. proof of maximal modulus principle by cvalente
186. proof of Minkowski inequality by Andrea Ambrosio
187. proof of Minkowski's bound by gel
188. proof of Nesbitt's inequality by mathwizard
189. proof of Ostrowski's valuation theorem by rm50
190. proof of Prohorov inequality by Andrea Ambrosio
191. proof of Ptolemy's inequality by mathwizard
192. proof of Schauder fixed point theorem by asteroid
193. proof of Sobolev inequality for $\Omega=\mathbf{R}^n$ by vanschaf
194. proof of Tauber's convergence theorem by rmilson
195. proof of upper and lower bounds to binomial coefficient by rspuzio
196. proof of weak maximum principle for real domains by rspuzio
197. proof of Weierstrass approximation theorem by rspuzio
198. proof of Weierstrass approximation theorem in R^n by rspuzio
199. proof of Wielandt-Hoffman theorem by Andrea Ambrosio
200. proof that $4^x$ exceeds the product of the primes up to $x$ by PrimeFan
201. proof that 3 is the only prime perfect totient number by PrimeFan
202. proof that e is not a natural number by CWoo
203. proof that number of sum-product numbers in any base is finite by rspuzio
204. proof that the outer (Lebesgue) measure of an interval is its length by Simone
205. proof that the set of sum-product numbers in base 10 is finite by PrimeFan
206. proof that the set of sum-product numbers in base 2 is finite by Mravinci
207. properties for measure by matte
208. properties of a function by CWoo
209. properties of arbitrary joins and meets by CWoo
210. PTAH inequality by Mathprof
211. PTAH inequality result by cappymate
212. Ptolemy's theorem by drini
213. quadratic inequality by pahio
214. quadratic variation by gel
215. quantum logic by CWoo
216. quotients of Banach algebras by asteroid
217. rational number by djao
218. ray by CWoo
219. real closed fields by mathcam
220. real part series and imaginary part series by pahio
221. regarding the sets $A_n$ from the traveling hump sequence by Wkbj79
222. relative entropy by Mathprof
223. Richard Feynman by Mravinci
224. Riesz group by CWoo
225. Schur's inequality by rspuzio
226. Schur's Test by karstenb
227. sets that do not have an infimum by sleske
228. small integers that are or might be the largest of their kind by Mravinci
229. solving certain polynomial inequalities by CWoo
230. sparsely totient number by PrimeFan
231. squaring condition for square root inequality by pahio
232. straight line is shortest curve between two points by stevecheng
233. strict by rspuzio
234. strong prime by PrimeFan
235. St{\o}rmer number by PrimeFan
236. subadditivity by bbukh
237. sum function of series by pahio
238. summed numerator and summed denominator by pahio
239. Sun's conjecture on sums of primes and triangular numbers by PrimeFan
240. superadditivity by bbukh
241. Taylor's formula in Banach spaces by stevecheng
242. tensor product of dual spaces is a dual space of tensor product by joking
243. terminating reduction by CWoo
244. Texas Instruments by PrimeFan
245. topic entry on real numbers by matte
246. topological vector lattice by CWoo
247. trace of a matrix by Daume
248. triangle by Wkbj79
249. triangle inequality by drini
250. triangle inequality of complex numbers by pahio
251. Tutte theorem by scineram
252. ultrametric triangle inequality by pahio
253. uncertainty theorem by dh2718
254. uniqueness conjecture for Markov numbers by PrimeFan
255. uniqueness of division algorithm in Euclidean domain by pahio
256. uniqueness of limit of sequence by pahio
257. upper and lower bounds to binomial coefficient by rspuzio
258. weak prime by PrimeFan
259. Weizenbock's inequality by mathcam
260. Wielandt-Hoffman theorem by Andrea Ambrosio
261. Young's inequality by rspuzio