News: 0000836144

ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

[$] Atomic kmaps become local

([Kernel] Nov 6, 2020 14:40 UTC (Fri) (corbet))

Reference: 0000836144
News link: https://lwn.net/Articles/836144
Source link:

[$] Sorry, this article is currently available to LWN suscribers only [https://lwn.net/subscribe/].

Actually, the probability is 100% that the elevator will be going in the
right direction. Proof by induction:

N=1. Trivially true, since both you and the elevator only have one
floor to go to.

Assume true for N, prove for N+1:
If you are on any of the first N floors, then it is true by the
induction hypothesis. If you are on the N+1st floor, then both you
and the elevator have only one choice, namely down. Therefore,
it is true for all N+1 floors.
QED.