Hadamard's prime number theorem
                        
                            GPTKB entity
                        
                    
                Statements (13)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            
                                            number theory
                                        
                                        
                                         | 
                            
| gptkbp:implies | 
                                    
                                        
                                            
                                            distribution of prime numbers
                                        
                                        
                                         | 
                            
| gptkbp:provedIndependentlyBy | 
                                    
                                        
                                            gptkb:Charles_Jean_de_la_Vallée-Poussin
                                        
                                         | 
                            
| gptkbp:provenBy | 
                                    
                                        
                                            gptkb:Jacques_Hadamard
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:prime_number_theorem
                                        
                                         | 
                            
| gptkbp:state | 
                                    
                                        
                                            
                                            The number of primes less than a given number x approximates x / log(x) as x approaches infinity.
                                        
                                        
                                         | 
                            
| gptkbp:uses | 
                                    
                                        
                                            
                                            complex analysis
                                        
                                        
                                         properties of the Riemann zeta function  | 
                            
| gptkbp:yearProved | 
                                    
                                        
                                            
                                            1896
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Hadamard's_theorem_(number_theory)
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            8
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Hadamard's prime number theorem
                                        
                                        
                                         |