What's everyone up to right now?

[The Valkyrie]

Just got carded for cough medicine. Said I looked twelve. I'm 30.

You have pixie charm and are cuter than a bug's ear.  Are you short as well?    

Man, 30 was such a good age.  So much to do but so much energy to get it done with.  Savor.

I don't know.

Right now I barely have the energy to sleep.

[Whateverist]

You have pixie charm and are cuter than a bug's ear.  Are you short as well?    

Man, 30 was such a good age.  So much to do but so much energy to get it done with.  Savor.

I don't know.

Right now I barely have the energy to sleep.

You do take on an awful lot. Still, right now, you do seem to be able to do an awful lot too. Not sure how you do a career like yours without exhaustion. Maybe work your interns even harder?

[Fireball]

My investment people had a client appreciation dinner last night. I came home and had such heartburn that I sat up half the night in the recliner to sleep. Too much rich food. Tired as hell, today.

[Dave B]

My investment people had a client appreciation dinner last night. I came home and had such heartburn that I sat up half the night in the recliner to sleep. Too much rich food. Tired as hell, today.

Things like "client appreciation dinners" always amuse me - when they don't annoy me.

One way or the other you pay for them, either in your management fees or the profit they cream off your interest. Rather have the cash so I can have a meal with friends and not listen to propaganda!

TNSTAAFL

[c172]

Watching prison documentaries on YouTube.

[Astreja]

Band practice this evening. We ran through a bunch of Christmas music and whittled the list down to the set we're going to play at our first holiday show 2 weeks from tonight. (Fortunately, with just 1 more full rehearsal between now and then, there are only a couple of pieces that I've never played before tonight and the rest are the Usual Suspects, like "White Christmas" and "Sleigh Ride.")

After I got home, daughter and I conspired to make a bacon, spinach and cheese frittata. Am now sitting at my computer with a glass of red wine, trying to drop from warp speed into calm-enough-to-go-to-sleep mode.

[pocaracas]

I'm doing an analysis of proof of the following theorem: there exists a real number x∈ℝ such that x^2=2.  

P.S. The author used a proof by contradiction; however, he did not explicitly state this.  As a result, IMO, it is really fun trying to piece together the various thought processes and ideas that were involved in putting the proof together and confirming the truth of the statement.

So.... if we're assuming knowledge of the ^2 operator, then we should know something about it, no?
Like... it's bijective for x∈ℝ+.
1^2 = 1
2^2 = 4

So there must exist a number x ∈ ]1,2[ such that x^2 = 2.

I think I used some mean value theorem in there, but I can't remember the exact name for it.

[vorlon13]

woke up sweating and figured easier to just stay up a while longer till time for another pill

really uncomfortable tonight

[Dave B]

woke up sweating and figured easier to just stay up a while longer till time for another pill

really uncomfortable tonight

Having suffered such nights and taking up to 13 tablets a day (iPads are a bit difgicult to swallow) with my cardiac oroblems. I can sympathise!

[Kernel Sohcahtoa]

I'm doing an analysis of proof of the following theorem: there exists a real number x∈ℝ such that x^2=2.  

P.S. The author used a proof by contradiction; however, he did not explicitly state this.  As a result, IMO, it is really fun trying to piece together the various thought processes and ideas that were involved in putting the proof together and confirming the truth of the statement.

So.... if we're assuming knowledge of the ^2 operator, then we should know something about it, no?
Like... it's bijective for x∈ℝ+.
1^2 = 1
2^2 = 4

So there must exist a number x ∈ ]1,2[ such that x^2 = 2.

I think I used some mean value theorem in there, but I can't remember the exact name for it.

It sounds like the intermediate value theorem: I have certainly found that theorem to be very useful when doing existence proofs, especially when trying to establish the existence of a real value for a given function that is continuous on a closed interval.  IMO, this theorem is awesome; however, it is way out of my league in the sense that I could never conceive of something like that on my own. 

In my book, the author is interested in considering the set T={t∈ℝ: t^2<2} (it is a non-empty set that is bounded above, and via the axiom of completeness, it must contain a least upper bound) and then using the definition of the least upper bound for real numbers to show that the cases x<2 and 2<x cannot happen; thus, concluding that x must equal 2.