For integer ℓ≥1, put Iℓ=∫0∞jℓ(x)2dx/x and Jℓ=∫0∞jℓ(x)jℓ−1(x)dx. Integrating jℓ′=jℓ−1−(ℓ+1)jℓ/x gives Jℓ=(ℓ+1)Iℓ. For ℓ>1, integrating jℓ−1′=(ℓ−1)jℓ−1/x−jℓ also gives Jℓ=(ℓ−1)Iℓ−1. For ℓ=1, the boundary values j0(0)=1 and j0(∞)=0 give J1=1/2, hence I1=1/4. The recurrence proves the displayed identity. The integral without the square is different; for example ∫0∞j1(x)dx/x=π/4.