For each k  2, let k  (0, 1) be the largest number such that there exist k-uniform hypergraphs on n vertices with independent neighborhoods and (k + o(1)) n k edges as n  . We prove that k = 1 - 2 log k/k + (log log k/k) as k  . This disproves a conjecture of F							
						
							
					 															
					Tom Bohman, Alan M. Frieze, Dhruv Mubayi, Oleg Pik