Astraphobia Astraphobia Astraphobia, also known as astrapophobia, brontophobia, keraunophobia, or tonitrophobia is an abnormal fear of thunder and lightning, a type of specific phobia. It is a treatable phobia that both humans and animals can develop. The term astraphobia is composed of the words ἀστραπή (astrape; lightning) and φόβος (phobos; fear). A person with astraphobia will often feel anxious during a thunderstorm even when they understand that the threat to them is minimal. Some symptoms are those accompanied with many phobias, such as trembling, crying, sweating, panicked reactions, the sudden feeling of using the bathroom, nausea, the feeling of dread, insertion
Proof that π is irrational In 1761, Lambert proved that is irrational by first showing that this continued fraction expansion holds: Then Lambert proved that if "x" is non-zero and rational then this expression must be irrational. Since tan(/4) = 1, it follows that /4 is irrational and therefore that is irrational. A simplification of Lambert's proof is given below. This proof uses the characterization of as the smallest positive number whose half is a zero of the cosine function and it actually proves that is irrational. As in many proofs of irrationality, the argument proceeds by reductio ad absurdum. Consider the sequences ("A") and