1 |
On Sat, Dec 20, 2008 at 08:35:47PM -0800, Penguin Lover Grant squawked: |
2 |
> Can I change the amount reserved for root? |
3 |
|
4 |
for ext2/3, try 'man tune2fs'. |
5 |
|
6 |
W |
7 |
|
8 |
-- |
9 |
Proof by contradiction: |
10 |
Suppose the square root of 3 were rational. Then sqrt(3) = p / q, for some |
11 |
relatively prime integers p and q. Hence p = q sqrt(3). Now, since the square |
12 |
root of 3 is irrational, p and q cannot both be rational and hence cannot both |
13 |
be integers, which contradicts the original supposition. Hence, sqrt(3) is |
14 |
irrational. |
15 |
~Daniel Jonathan Peng |
16 |
Pzzzt... DJP is just as irrational as the square root of three. |
17 |
Sortir en Pantoufles: up 744 days, 3:47 |