Proving $\rm{card}(\Bbb Z)=\rm{card}(\Bbb N)$
Cardinality and infinite sets: naturals, integers, rationals, bijections
If my question gets migrated to another site, is it possible somehow to reverse it back to the original site? How do I recover my Google account (or Gmail) password or username? I have forgotten the password or username for my Google account, or I'm unable to access my account for other reasons.  How can I recover my account?  (This Q&amp;A is meant as a general description for all Google and Gmail username/password questions. See: ) I want to calculate $$ \int_{0}^{\infty} \frac{\arctan{2t}}{e^{2\pi t}+1} \, {\rm d}t $$ and am wondering if there at all is an analytical expression for the result. I haven't tried much so far, but expressing the denominator as the geometric series and then substituting $z=2\pi t (n+1)$. Equivalently I get $$ \sum_{n=0}^{\infty} \frac{{\rm si}\left(\pi(n+1)\right)}{2\pi (n+1)} $$ where $$ {\rm si}(x) = -\int_{x}^{\infty} \frac{\sin(t)}{t} \, {\rm d}t $$ is the shifted ${\rm Si}(x)$ function. The value is approximately $0.03618247146$, in fact I know from comparison with something else that it is exactly $\frac{\ln \pi -1}{4}$, but there should be some (direct) derivation, or?  Thanks for your input if you have any.  Edit: I tried to follow your instructions, but am now stuck. So I wrote $$ {\cal L}^{-1} \left(\frac{\psi(t)-\psi(1)}{t-1}\right)(s) =\sum_{n=0}^{\infty} \frac{e^{-sn}}{n+1} = e^s \int_s^\infty \frac{{\rm d}x}{e^{x}-1} $$ and taking the Laplace-transform \begin{align} \psi(t) &amp;= \psi(1) + (t-1)\int_0^\infty {\rm d}s \, e^{-s(t-1)} \int_s^\infty \frac{{\rm d}x}{e^{x}-1} \\ &amp;= \psi(1) + (t-1) \int_0^\infty {\rm d}x \int_{0}^{x} {\rm d}s \, \frac{e^{-s(t-1)}}{e^{x}-1} \\ &amp;= \psi(1) + \int_{0}^{\infty} {\rm d}x \, \frac{1-e^{-x(t-1)}}{e^x-1} \tag{1} \\ &amp;= -\frac{1}{t} + \psi(1) + \int_0^\infty {\rm d}x \, \frac{1-e^{-tx}}{e^x-1} \tag{2} \\ &amp;= \dots \\ &amp;=-\sum_{k=0}^{n} \frac{1}{t+k} + \psi(1) + \int_0^\infty {\rm d}x \, \frac{1-e^{-(t+n)x}}{e^x-1} \\ &amp;\stackrel{(\rm{2})}{=} -\frac{1}{2t} + \ln(t) - \int_0^\infty {\rm d}x \, \left\{ \frac{1}{2} - \frac{1}{x} + \frac{1}{e^x-1}\right\} e^{-tx} \tag{Binet 1} \end{align} where $\psi(1)=-\gamma$.  Now we integrate over $t$ from $1$ to $y$ yielding $$ \ln \Gamma(y) \stackrel{({\rm 1})}{=} \psi(1)\,(y-1) + \int_0^\infty {\rm d}x \, \frac{y-1+\frac{e^{-x(y-1)}-1}{x}}{e^x-1} $$ but what now? Substitute? Why does $PSL(2,\mathbb C)\cong PGL(2,\mathbb C)$ but $PSL(2,\mathbb R) \not\cong PGL(2,\mathbb R)$? Why does $PSL(2,\mathbb C)\cong PGL(2,\mathbb C)$ but $PSL(2,\mathbb R) \not\cong PGL(2,\mathbb R)$? Is there a GUI IDE for programming python just like java has netbeans?  I wanted one where we could drag &amp; drop test boxes &amp; labels just as we do in swing components using netbeans or eclipse.  Or is there an add-on present in either netbeans or eclipse itself? How to prove or disprove $\forall x\in\Bbb{R}, \forall n\in\Bbb{N},n\gt 0\implies \lfloor\frac{\lfloor x\rfloor}{n}\rfloor=\lfloor\frac{x}{n}\rfloor$. How to prove or disprove $\forall x\in\Bbb{R}, \forall n\in\Bbb{N},n\gt 0\implies \left\lfloor\frac{\lfloor x\rfloor}{n}\right\rfloor=\left\lfloor\frac{x}{n}\right\rfloor$.  So we want to prove $\left\lfloor\frac{\lfloor x\rfloor}{n}\right\rfloor\ge\left\lfloor\frac{x}{n}\right\rfloor$ and $\left\lfloor\frac{\lfloor x\rfloor}{n}\right\rfloor\le\left\lfloor\frac{x}{n}\right\rfloor$  Since $\lfloor x\rfloor\le x$, we can just start from here and prove  $\left\lfloor\frac{\lfloor x\rfloor}{n}\right\rfloor\le\left\lfloor\frac{x}{n}\right\rfloor$  But for $\left\lfloor\frac{\lfloor x\rfloor}{n}\right\rfloor\ge\left\lfloor\frac{x}{n}\right\rfloor$, I have no idea how to start. Why is `[` a shell builtin and `[[` a shell keyword? How do I reference photographs with a separate numbering system to figures in latex? I am writing a book, and would like to be able to have the photographs labelled with an independent numbering system to my figures.  In the text I would refer to, for example, figure X and separately to photograph X, so I want them to have different numbering systems, just as equations and figures do.  Is it possible to have a different \begin{figure} environment so that the numbering can be separated? jQuery .ready in a dynamically inserted iframe We are using jQuery  to dynamically display an iframe when someone clicks on a picture.  In this iframe, we are using  a javascript library to display multiple pictures.  The problem seems to be that $(document).ready in the iframe seems to be fired too soon and the iframe content isn't even loaded yet, so galleria code is not applied properly on the DOM elements.  $(document).ready seems to use the iframe parent ready state to decide if the iframe is ready.  If we extract the function called by document ready in a separate function and call it after a timeout of 100&nbsp;ms. It works, but we can't take the chance in production with a slow computer.  $(document).ready(function() { setTimeout(ApplyGalleria, 100); });   My question: which jQuery event should we bind to to be able to execute our code when the dynamic iframe is ready and not just it's a parent? Why Integer.getInteger does not work? I was looking at the task manager in Windows 10 and for the first time noticed a secondary dashed line below the solid? What does this line indicate? A coin is tossed $n$ times. What is the probability of getting odd number of heads? A coin is tossed $n$ times. What is the probability of getting odd number of heads?   I started this chapter sometimes ago and faced in front of a tough problem. At first I started considering cases. Case-I : The probability of getting 1 head.Case-II : The probability of getting 3 head and so on. But there are many cases. So how can I solved this . Please help me. Thank you! Computing the Galois group of $x^4+ax^2+b \in \mathbb{Q}[x] $ I want to compute the Galois group of some polynomials, but I want to see some examples first. For example this proposition could be helpful. I don't know how to prove it &lt;.&lt;  Let's consider a polynomial $f(x)= x^4+ax^2+b \in \mathbb{Z} $. Let $ \pm\alpha , \pm\beta$ denote the roots of $f(x)$. Note that $f$ is irreducible iff $\alpha^2, \alpha\pm\beta \notin \mathbb{Q}$. So let's suppose that $f(x)$ is irreducible. Let's denote $G$ the galois group of $f$ (the Galois group of the splitting field $\mathbb{Q}(\alpha,\beta)/\mathbb{Q}$)  $i)$ $G\cong V$ the Klein 4-group iff $\alpha\beta \in \mathbb{Q}$  $ii)$ $G\cong \mathbb{Z}_4$ iff $\mathbb{Q}(\alpha\beta)=\mathbb{Q}(\alpha^2)$  $iii)$ $G\cong D_8$ the dihedral group of order 8, iff $\alpha\beta \notin \mathbb{Q}(\alpha^2)$  I need help with the proofs of this propositions... Well I'm very lost with the computation of Galois group, some care must be exercised, I don't have it. For example I know that Galois group acts transitively, in the sense that $u\in K/F$ a galois extension, the other roots of the minimal polynomial of $m_u(x)\in F[x]$ are precisely the elements $ \sigma(u)$ , where $\sigma \in Gal(K/F)$. And clearly any automorphism, is determined by only the value of a basis. In this case we are working on $\mathbb{Q}(\alpha,\beta)$, so I have to know the values of both. But I have to respect the algebraic relations involving $\alpha , \beta$ I proved that in $i),ii)$ $\mathbb{Q}(\alpha,\beta) = \mathbb{Q}(\alpha) $ So I have to know the values on $\alpha$.   My first question is: If in both cases $i),ii)$, I have an extension of degree 4 (so $|G|=4$) I have to map $\alpha$ to determine the automorphism, but I have also to map $\alpha$ to all of it's four roots. Why the galois group in this case are different?  My second question is about $iii)$ I have no idea How to attack it. I feel stupid asking, but I can't seem to find the answer to this anywhere. I'm trying to follow  to edit my bash prompt, but there is no .bashrc in either my user directory (~/.bashrc), or in my home directory, or in the main file system directory.   There is no .bashrc in /etc/ (there is a bash.bashrc, however).   Do I create a .bashrc file in my user or home directory? Is there a better, more recent set of instructions for modifying the bash prompt? Is my sugar daddy scamming me How do I search events between two set dates inside WP? According to the special theory of relativity, distant simultaneity depends on the observer's reference frame.  And, according to the quantum theory, in the case of two entangled particles, a measure on one of the particles simultaneously affects the second one. Under which reference frame is this simultaneous? How to jusify {e,n} is a valid RSA public key? Is it possible to do The Pitt without a slave outfit? How does the reparameterization trick for VAEs work and why is it important? How does the  for variational autoencoders (VAE) work? Is there an intuitive and easy explanation without simplifying the underlying math? And why do we need the 'trick'?